module modreq_obj_global 1.0;
require {
class sem { create destroy };
}
type mod_global_t;
type mod_foo_t;
type mod_bar_t;
allow mod_foo_t mod_bar_t : sem { create destroy };