LIBSEMANAGE_1.0 {
  global: semanage_handle_create; semanage_handle_destroy; 
          semanage_is_managed; semanage_connect; semanage_disconnect; 
	  semanage_msg_*;
          semanage_begin_transaction; semanage_commit;
	  semanage_module_install; semanage_module_install_file;
	  semanage_module_upgrade; semanage_module_upgrade_file;
	  semanage_module_install_base; semanage_module_install_base_file;
	  semanage_module_enable;
	  semanage_module_disable;
	  semanage_module_remove;
	  semanage_module_list; semanage_module_info_datum_destroy;
	  semanage_module_list_nth; semanage_module_get_name;
	  semanage_module_get_version; semanage_select_store;
	  semanage_module_get_enabled;
	  semanage_reload_policy; semanage_set_reload; semanage_set_rebuild;
	  semanage_set_root;
	  semanage_root;
	  semanage_user_*; semanage_bool_*; semanage_seuser_*;
	  semanage_iface_*; semanage_port_*; semanage_context_*;
	  semanage_node_*;
	  semanage_fcontext_*; semanage_access_check; semanage_set_create_store;
	  semanage_is_connected; semanage_get_disable_dontaudit; semanage_set_disable_dontaudit;
	  semanage_mls_enabled;
	  semanage_set_check_contexts;
	  semanage_get_preserve_tunables; semanage_set_preserve_tunables;
  local: *;
};

LIBSEMANAGE_1.1 {
  global:
	  semanage_module_install;
	  semanage_module_extract;
	  semanage_get_hll_compiler_path;
	  semanage_get_ignore_module_cache;
	  semanage_set_ignore_module_cache;
	  semanage_get_default_priority;
	  semanage_set_default_priority;
	  semanage_module_info_create;
	  semanage_module_info_destroy;
	  semanage_module_info_get_priority;
	  semanage_module_info_get_name;
	  semanage_module_info_get_lang_ext;
	  semanage_module_info_get_enabled;
	  semanage_module_info_set_priority;
	  semanage_module_info_set_name;
	  semanage_module_info_set_lang_ext;
	  semanage_module_info_set_enabled;
	  semanage_module_key_create;
	  semanage_module_key_destroy;
	  semanage_module_key_get_priority;
	  semanage_module_key_get_name;
	  semanage_module_key_set_priority;
	  semanage_module_key_set_name;
	  semanage_module_get_module_info;
	  semanage_module_list_all;
	  semanage_module_get_enabled;
	  semanage_module_set_enabled;
	  semanage_module_install_info;
	  semanage_module_upgrade_info;
	  semanage_module_remove_key;
	  semanage_set_store_root;
  local: *;
} LIBSEMANAGE_1.0;