
  TYPE
    fst$goi_validation_criterion = record
      case validation_selection: {input} fst$goi_validation_selection of
      = fsc$goi_password =
        password: {input} pft$name,
      = fsc$goi_validation_ring =
        validation_ring: {input} ost$valid_ring,
      = fsc$goi_subject_permit =
        subject_permit: {input, output} pft$permit_array_entry,
      casend,
    recend;

*copyc fst$goi_validation_selection
*copyc osd$virtual_address
*copyc pft$permit_array_entry
*copyc pft$name
