PROCEDURE Debug(str: PACKED ARRAY [slo..shi: integer] OF char);
   EXTERNAL;
{*USER*
    Central Debug message output routine for AMIRTR. Parameter is
    a formatted string. It is trademarked, timestampped, and output
    to Debug_file, sent to Debug_node::Debug_task, or both.
 }