PROCEDURE dbgio(s: PACKED ARRAY [lo..hi: integer] OF char; ios: io_status_block); EXTERNAL; {*USER* This procedure will format a message header and pass resulting string to DEBUG for output. It is used for messages pertaining to io. The io status block is formatted into the message. }