
  TYPE
    ost$os_defaults = RECORD
      lock: ost$signature_lock,
      defaults_changed: boolean,
      system_time_zone: ost$time_zone,
      system_date_format: ost$default_date_format,
      system_time_format: ost$default_time_format,
      time_data: ost$os_defaults_time_data,
    RECEND,

    ost$os_defaults_os_name = pmt$os_name,

    ost$os_defaults_time_data = RECORD
      wait_to_change: boolean,
      wait_count: 0 .. 5,
      wait_frc: ost$os_defaults_wait_frc,
    RECEND,

    ost$os_defaults_wait_frc = RECORD
      min: ost$free_running_clock,
      max: ost$free_running_clock,
    RECEND;

*copyc ost$default_date_format
*copyc ost$default_time_format
*copyc ost$free_running_clock
*copyc ost$signature_lock
*copyc ost$time
*copyc ost$time_zone
*copyc pmt$os_name
