module modreq_attr_opt 1.0;

require { 
	class file {read write};
	
}

type mod_global_t;

optional {
	require {
		attribute attr_req;
	}
	type mod_opt_t;
	type new_t, attr_req;
}