1 module modreq_attr_global 1.0; 2 3 require { 4 attribute attr_req; 5 } 6 7 type mod_global_t; 8 9 type new_t, attr_req; 10 11