  TYPE
    nft$stop_ios_message_parameter = packed record
      length_indicated: boolean,
      param: nft$stop_io_station_params,
    recend;

  TYPE
    nft$stop_io_station_params = (nfc$null_parameter, nfc$io_station_name, nfc$stop_ios_reserved_2,
      nfc$stop_ios_reserved_3, nfc$stop_ios_reserved_4, nfc$stop_ios_reserved_5, nfc$stop_ios_reserved_6,
      nfc$stop_ios_reserved_7, nfc$stop_ios_reserved_8, nfc$stop_ios_reserved_9, nfc$stop_ios_reserved_10,
      nfc$stop_ios_reserved_11, nfc$stop_ios_reserved_12, nfc$stop_ios_reserved_13, nfc$stop_ios_reserved_14,
      nfc$stop_ios_reserved_15, nfc$stop_ios_reserved_16, nfc$stop_ios_reserved_17, nfc$stop_ios_reserved_18,
      nfc$stop_ios_reserved_19, nfc$stop_ios_reserved_20, nfc$stop_ios_reserved_21, nfc$stop_ios_reserved_22,
      nfc$stop_ios_reserved_23, nfc$stop_ios_reserved_24, nfc$stop_ios_reserved_25, nfc$stop_ios_reserved_26,
      nfc$stop_ios_reserved_27, nfc$stop_ios_reserved_28, nfc$stop_ios_reserved_29, nfc$stop_ios_reserved_30,
      nfc$stop_ios_reserved_31, nfc$stop_ios_reserved_32, nfc$stop_ios_reserved_33, nfc$stop_ios_reserved_34,
      nfc$stop_ios_reserved_35, nfc$stop_ios_reserved_36, nfc$stop_ios_reserved_37, nfc$stop_ios_reserved_38,
      nfc$stop_ios_reserved_39, nfc$stop_ios_reserved_40, nfc$stop_ios_reserved_41, nfc$stop_ios_reserved_42,
      nfc$stop_ios_reserved_43, nfc$stop_ios_reserved_44, nfc$stop_ios_reserved_45, nfc$stop_ios_reserved_46,
      nfc$stop_ios_reserved_47, nfc$stop_ios_reserved_48, nfc$stop_ios_reserved_49, nfc$stop_ios_reserved_50,
      nfc$stop_ios_reserved_51, nfc$stop_ios_reserved_52, nfc$stop_ios_reserved_53, nfc$stop_ios_reserved_54,
      nfc$stop_ios_reserved_55, nfc$stop_ios_reserved_56, nfc$stop_ios_reserved_57, nfc$stop_ios_reserved_58,
      nfc$stop_ios_reserved_59, nfc$stop_ios_reserved_60, nfc$stop_ios_reserved_61, nfc$stop_ios_reserved_62,
      nfc$stop_ios_reserved_63, nfc$stop_ios_reserved_64, nfc$stop_ios_reserved_65);

