
  TYPE
    ost$time = record
      case time_format: ost$time_formats of
      = osc$ampm_time =
        ampm: ost$ampm_time, { H12:MM AMORPM }
      = osc$hms_time =
        hms: ost$hms_time, { H24:MM:SS }
      = osc$millisecond_time =
        millisecond: ost$millisecond_time, { H24:MM:SS.S1000 }
      casend,
    recend;

*copyc ost$time_formats
*copyc ost$millisecond_time
*copyc ost$hms_time
*copyc ost$ampm_time
