1module modreq_perm_global 1.0;
2
3require { 
4	class msg { send receive };
5}
6
7type mod_global_t;
8type a_t;
9type b_t;
10allow a_t b_t: msg { send receive };
11