
  TYPE
    nft$btf_ve_status_parameter = packed record
      length_indicated: boolean,
      param: nft$btf_ve_status_parameters,
    recend,

    nft$btf_ve_status_parameters = (nfc$null_parameter, nfc$btf_ve_protocol_stacks,
          nfc$btf_ve_status_reserved_2, nfc$btf_ve_status_reserved_3, nfc$btf_ve_status_reserved_4,
          nfc$btf_ve_status_reserved_5, nfc$btf_ve_status_reserved_6, nfc$btf_ve_status_reserved_7,
          nfc$btf_ve_status_reserved_8, nfc$btf_ve_status_reserved_9, nfc$btf_ve_status_reserved_10,
          nfc$btf_ve_status_reserved_11, nfc$btf_ve_status_reserved_12, nfc$btf_ve_status_reserved_13,
          nfc$btf_ve_status_reserved_14, nfc$btf_ve_status_reserved_15, nfc$btf_ve_status_reserved_16,
          nfc$btf_ve_status_reserved_17, nfc$btf_ve_status_reserved_18, nfc$btf_ve_status_reserved_19,
          nfc$btf_ve_status_reserved_20, nfc$btf_ve_status_reserved_21, nfc$btf_ve_status_reserved_22,
          nfc$btf_ve_status_reserved_23, nfc$btf_ve_status_reserved_24, nfc$btf_ve_status_reserved_25,
          nfc$btf_ve_status_reserved_26, nfc$btf_ve_status_reserved_27, nfc$btf_ve_status_reserved_28,
          nfc$btf_ve_status_reserved_29, nfc$btf_ve_status_reserved_30, nfc$btf_ve_status_reserved_31,
          nfc$btf_ve_status_reserved_32, nfc$btf_ve_status_reserved_33, nfc$btf_ve_status_reserved_34,
          nfc$btf_ve_status_reserved_35, nfc$btf_ve_status_reserved_36, nfc$btf_ve_status_reserved_37,
          nfc$btf_ve_status_reserved_38, nfc$btf_ve_status_reserved_39, nfc$btf_ve_status_reserved_40,
          nfc$btf_ve_status_reserved_41, nfc$btf_ve_status_reserved_42, nfc$btf_ve_status_reserved_43,
          nfc$btf_ve_status_reserved_44, nfc$btf_ve_status_reserved_45, nfc$btf_ve_status_reserved_46,
          nfc$btf_ve_status_reserved_47, nfc$btf_ve_status_reserved_48, nfc$btf_ve_status_reserved_49,
          nfc$btf_ve_status_reserved_50, nfc$btf_ve_status_reserved_51, nfc$btf_ve_status_reserved_52,
          nfc$btf_ve_status_reserved_53, nfc$btf_ve_status_reserved_54, nfc$btf_ve_status_reserved_55,
          nfc$btf_ve_status_reserved_56, nfc$btf_ve_status_reserved_57, nfc$btf_ve_status_reserved_58,
          nfc$btf_ve_status_reserved_59, nfc$btf_ve_status_reserved_60, nfc$btf_ve_status_reserved_61,
          nfc$btf_ve_status_reserved_62, nfc$btf_ve_status_reserved_63, nfc$btf_ve_status_reserved_64,
          nfc$btf_ve_status_reserved_65);
