module modreq_attr_global 1.0;

require { 
	attribute attr_req;
}

type mod_global_t;

type new_t, attr_req;