  PROCEDURE [XREF] ocp$output_time (time: ^ost$time;
        end_of_line: boolean;
    VAR valid_format: boolean);
