module modreq_perm_global 1.0;

require { 
	class msg { send receive };
}

type mod_global_t;
type a_t;
type b_t;
allow a_t b_t: msg { send receive };