
  TYPE
    pft$mandated_modification_time = record
      existing_modification_time: {output} ost$date_time,
      case verify_option: {input} pft$modification_time_options of
      = pfc$no_verify_modification_time =
        ,
      = pfc$replace_modification_time, pfc$verify_modification_time =
        specified_modification_time: {input} ost$date_time,
      casend,
    recend;

*copyc ost$date_time
*copyc pft$modification_time_options
