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 };
')