PROCEDURE dbghdr(VAR h: message_rec);
   EXTERNAL;
{*USER*
 This procedure will format a message header and pass resulting string
        to DEBUG for output.
 
}