module modreq_perm_opt 1.0;

require { 
	class file { read write };
}

type mod_global_t;

optional {
	require {
		class msg { send receive };
	}

	type mod_opt_t;
	type a_mod_t;
	type b_mod_t;
	allow a_mod_t b_mod_t: msg { send receive };
}