
  TYPE
    pft$modification_time_options = (pfc$verify_modification_time,
          pfc$replace_modification_time, pfc$no_verify_modification_time);

