  TYPE
    nft$device_control_resp_param = packed record
      length_indicated: boolean,
      param: nft$device_control_resp_params,
    recend;

  TYPE
    nft$device_control_resp_params = (nfc$null_parameter, nfc$io_station_name, nfc$device_name,
      nfc$response_code, nfc$device_cntrl_reserved_4, nfc$device_cntrl_reserved_5,
      nfc$device_cntrl_reserved_6, nfc$device_cntrl_reserved_7, nfc$device_cntrl_reserved_8,
      nfc$device_cntrl_reserved_9, nfc$device_cntrl_reserved_10, nfc$device_cntrl_reserved_11,
      nfc$device_cntrl_reserved_12, nfc$device_cntrl_reserved_13, nfc$device_cntrl_reserved_14,
      nfc$device_cntrl_reserved_15, nfc$device_cntrl_reserved_16, nfc$device_cntrl_reserved_17,
      nfc$device_cntrl_reserved_18, nfc$device_cntrl_reserved_19, nfc$device_cntrl_reserved_20,
      nfc$device_cntrl_reserved_21, nfc$device_cntrl_reserved_22, nfc$device_cntrl_reserved_23,
      nfc$device_cntrl_reserved_24, nfc$device_cntrl_reserved_25, nfc$device_cntrl_reserved_26,
      nfc$device_cntrl_reserved_27, nfc$device_cntrl_reserved_28, nfc$device_cntrl_reserved_29,
      nfc$device_cntrl_reserved_30, nfc$device_cntrl_reserved_31, nfc$device_cntrl_reserved_32,
      nfc$device_cntrl_reserved_33, nfc$device_cntrl_reserved_34, nfc$device_cntrl_reserved_35,
      nfc$device_cntrl_reserved_36, nfc$device_cntrl_reserved_37, nfc$device_cntrl_reserved_38,
      nfc$device_cntrl_reserved_39, nfc$device_cntrl_reserved_40, nfc$device_cntrl_reserved_41,
      nfc$device_cntrl_reserved_42, nfc$device_cntrl_reserved_43, nfc$device_cntrl_reserved_44,
      nfc$device_cntrl_reserved_45, nfc$device_cntrl_reserved_46, nfc$device_cntrl_reserved_47,
      nfc$device_cntrl_reserved_48, nfc$device_cntrl_reserved_49, nfc$device_cntrl_reserved_50,
      nfc$device_cntrl_reserved_51, nfc$device_cntrl_reserved_52, nfc$device_cntrl_reserved_53,
      nfc$device_cntrl_reserved_54, nfc$device_cntrl_reserved_55, nfc$device_cntrl_reserved_56,
      nfc$device_cntrl_reserved_57, nfc$device_cntrl_reserved_58, nfc$device_cntrl_reserved_59,
      nfc$device_cntrl_reserved_60, nfc$device_cntrl_reserved_61, nfc$device_cntrl_reserved_62,
      nfc$device_cntrl_reserved_63, nfc$device_cntrl_reserved_64, nfc$device_cntrl_reserved_65);

