
  TYPE
    nft$sf_display_options = (nfc$sf_display_applications,
          nfc$sf_display_group_names, nfc$sf_display_source_names,
          nfc$sf_display_target_names);

   TYPE
     nft$sf_display_options_set = set of nft$sf_display_options;
