module my_module 1.0;

require { 
	class file {read write};
ifdef(`enable_mls',`
	user user_check_1;
')
}