
  TYPE
    nft$operator_message_parameter = packed record
      length_indicated: boolean,
      param: nft$operator_message_params,
    recend,

    nft$operator_message_params = (nfc$null_parameter, nfc$io_station_name,
          nfc$device_name, nfc$text, nfc$operator_msg_reserved_4,
          nfc$operator_msg_reserved_5, nfc$operator_msg_reserved_6,
          nfc$operator_msg_reserved_7, nfc$operator_msg_reserved_8,
          nfc$operator_msg_reserved_9, nfc$operator_msg_reserved_10,
          nfc$operator_msg_reserved_11, nfc$operator_msg_reserved_12,
          nfc$operator_msg_reserved_13, nfc$operator_msg_reserved_14,
          nfc$operator_msg_reserved_15, nfc$operator_msg_reserved_16,
          nfc$operator_msg_reserved_17, nfc$operator_msg_reserved_18,
          nfc$operator_msg_reserved_19, nfc$operator_msg_reserved_20,
          nfc$operator_msg_reserved_21, nfc$operator_msg_reserved_22,
          nfc$operator_msg_reserved_23, nfc$operator_msg_reserved_24,
          nfc$operator_msg_reserved_25, nfc$operator_msg_reserved_26,
          nfc$operator_msg_reserved_27, nfc$operator_msg_reserved_28,
          nfc$operator_msg_reserved_29, nfc$operator_msg_reserved_30,
          nfc$operator_msg_reserved_31, nfc$operator_msg_reserved_32,
          nfc$operator_msg_reserved_33, nfc$operator_msg_reserved_34,
          nfc$operator_msg_reserved_35, nfc$operator_msg_reserved_36,
          nfc$operator_msg_reserved_37, nfc$operator_msg_reserved_38,
          nfc$operator_msg_reserved_39, nfc$operator_msg_reserved_40,
          nfc$operator_msg_reserved_41, nfc$operator_msg_reserved_42,
          nfc$operator_msg_reserved_43, nfc$operator_msg_reserved_44,
          nfc$operator_msg_reserved_45, nfc$operator_msg_reserved_46,
          nfc$operator_msg_reserved_47, nfc$operator_msg_reserved_48,
          nfc$operator_msg_reserved_49, nfc$operator_msg_reserved_50,
          nfc$operator_msg_reserved_51, nfc$operator_msg_reserved_52,
          nfc$operator_msg_reserved_53, nfc$operator_msg_reserved_54,
          nfc$operator_msg_reserved_55, nfc$operator_msg_reserved_56,
          nfc$operator_msg_reserved_57, nfc$operator_msg_reserved_58,
          nfc$operator_msg_reserved_59, nfc$operator_msg_reserved_60,
          nfc$operator_msg_reserved_61, nfc$operator_msg_reserved_62,
          nfc$operator_msg_reserved_63, nfc$operator_msg_reserved_64,
          nfc$operator_msg_reserved_65, nfc$operator_msg_reserved_66,
          nfc$operator_msg_reserved_67, nfc$operator_msg_reserved_68,
          nfc$operator_msg_reserved_69, nfc$operator_msg_reserved_70,
          nfc$operator_msg_reserved_71, nfc$operator_msg_reserved_72,
          nfc$operator_msg_reserved_73, nfc$operator_msg_reserved_74,
          nfc$operator_msg_reserved_75, nfc$operator_msg_reserved_76,
          nfc$operator_msg_reserved_77, nfc$operator_msg_reserved_78,
          nfc$operator_msg_reserved_79, nfc$operator_msg_reserved_80,
          nfc$operator_msg_reserved_81, nfc$operator_msg_reserved_82,
          nfc$operator_msg_reserved_83, nfc$operator_msg_reserved_84,
          nfc$operator_msg_reserved_85, nfc$operator_msg_reserved_86,
          nfc$operator_msg_reserved_87, nfc$operator_msg_reserved_88,
          nfc$operator_msg_reserved_89, nfc$operator_msg_reserved_90,
          nfc$operator_msg_reserved_91, nfc$operator_msg_reserved_92,
          nfc$operator_msg_reserved_93, nfc$operator_msg_reserved_94,
          nfc$operator_msg_reserved_95);
