module add_symbol_test 1.0;
require { class file { read write }; }
type type_add_1;
attribute attrib_add_1;
role role_add_1;
bool bool_add_1 false;
ifdef(`enable_mls',`',`
user user_add_1 roles { role_add_1 };
')