{     nft$parameter_31_type }

TYPE nft$parameter_31_type = (
      nfc$p31_unspecified,
      nfc$p31_ascii_c6,
      nfc$p31_ascii_c8,
      nfc$p31_host_dependent_uh,
      nfc$p31_undef_unstructured_uu,
      nfc$p31_undefined_structured_us    );
