
  TYPE
    ost$os_default_kind = (osc$os_name, osc$date_time, osc$default_date_format, osc$default_time_format,
          osc$time_zone);
