
  CONST
    nfc$block_size_limit = 99999999,
    nfc$timeout_limit = 9999;

  TYPE
    nft$block_size = 0 .. nfc$block_size_limit,
    nft$timeout = 0 .. nfc$timeout_limit,
    nft$facility_types = (nfc$multiple_data_phase_params,
      nfc$collective_text_string,
      nfc$temporary_hold, nfc$go_command_parameters,
      nfc$later_resumption, nfc$restart_permitted,
      nfc$checkmark_ack_required, nfc$ss_ack_required,
      nfc$data_compression),
    nft$facility_group = set of nft$facility_types;

