  TYPE
    nft$vfu_load_option = (nfc$vfu_not_present_or_load, nfc$vfu_loaded_at_init,
          nfc$vfu_changeable_by_operator, nfc$vfu_changeable_by_user);
