
  TYPE
    ost$operating_system_default = RECORD
      CASE kind: ost$os_default_kind OF
      = osc$os_name =
        os_name: pmt$os_name,
      = osc$date_time =
        free_running_clock: ost$free_running_clock,
        date_time: ost$date_time,
      = osc$default_date_format =
        default_date: ost$default_date_format,
      = osc$default_time_format =
        default_time: ost$default_time_format,
      = osc$time_zone =
        time_zone: ost$time_zone,
      CASEND,
    RECEND;

*copyc ost$date_time
*copyc ost$default_date_format
*copyc ost$default_time_format
*copyc ost$hardware_subranges
*copyc ost$os_default_kind
*copyc ost$time_zone
*copyc pmt$os_name
