1module modreq_obj_global 1.0;
2
3require { 
4	class sem { create destroy };
5}
6
7type mod_global_t;
8
9type mod_foo_t;
10type mod_bar_t;
11
12allow mod_foo_t mod_bar_t : sem { create destroy };
13
14