  TYPE
    nft$file_available_msg_param = packed record
      length_indicated: boolean,
      param: nft$file_available_parameters,
    recend;

  TYPE
    nft$file_available_parameters = (nfc$null_parameter, nfc$io_station_name, nfc$operator_name,
      nfc$operator_family, nfc$station_usage, nfc$system_file_name, nfc$system_job_name, nfc$user_file_name,
      nfc$user_job_name, nfc$user_name, nfc$user_family, nfc$copies, nfc$device_name, nfc$device_type,
      nfc$external_characteristics, nfc$file_size, nfc$forms_code, nfc$output_data_mode,
      nfc$output_initial_priority, nfc$output_maximum_priority, nfc$output_priority_factor, nfc$output_state,
      nfc$page_format, nfc$page_length, nfc$page_width, nfc$vertical_print_density, nfc$vfu_load_procedure,
      nfc$file_requeued, nfc$file_held_by_filter, nfc$add_fa_reserved_29, nfc$add_fa_reserved_30,
      nfc$add_fa_reserved_31, nfc$add_fa_reserved_32, nfc$add_fa_reserved_33, nfc$add_fa_reserved_34,
      nfc$add_fa_reserved_35, nfc$add_fa_reserved_36, nfc$add_fa_reserved_37, nfc$add_fa_reserved_38,
      nfc$add_fa_reserved_39, nfc$add_fa_reserved_40, nfc$add_fa_reserved_41, nfc$add_fa_reserved_42,
      nfc$add_fa_reserved_43, nfc$add_fa_reserved_44, nfc$add_fa_reserved_45, nfc$add_fa_reserved_46,
      nfc$add_fa_reserved_47, nfc$add_fa_reserved_48, nfc$add_fa_reserved_49, nfc$add_fa_reserved_50,
      nfc$add_fa_reserved_51, nfc$add_fa_reserved_52, nfc$add_fa_reserved_53, nfc$add_fa_reserved_54,
      nfc$add_fa_reserved_55, nfc$add_fa_reserved_56, nfc$add_fa_reserved_57, nfc$add_fa_reserved_58,
      nfc$add_fa_reserved_59, nfc$add_fa_reserved_60, nfc$add_fa_reserved_61, nfc$add_fa_reserved_62,
      nfc$add_fa_reserved_63, nfc$add_fa_reserved_64, nfc$add_fa_reserved_65);

