
  TYPE
    pft$date_time = record
      case date_time_option: pft$date_time_option of
      = pfc$no_date_time =
        ,
      = pfc$current_date_time =
        current_date_time: ost$date_time,
      = pfc$specified_date_time =
        specified_date_time: ost$date_time,
      casend,
    recend;

*copyc ost$date_time
*copyc pft$date_time_option
