1255e72915d4cbddceb435e13d81601755714e9fSE Androidmodule add_symbol_test 1.0; 2255e72915d4cbddceb435e13d81601755714e9fSE Android 3255e72915d4cbddceb435e13d81601755714e9fSE Androidrequire { class file { read }; } 4255e72915d4cbddceb435e13d81601755714e9fSE Android 5255e72915d4cbddceb435e13d81601755714e9fSE Androidrole role_a_1; 6255e72915d4cbddceb435e13d81601755714e9fSE Androidrole role_a_2; 7255e72915d4cbddceb435e13d81601755714e9fSE Androidrole role_t_1; 8255e72915d4cbddceb435e13d81601755714e9fSE Androidrole role_t_2; 9255e72915d4cbddceb435e13d81601755714e9fSE Android 10255e72915d4cbddceb435e13d81601755714e9fSE Androidtype type_rt_1; 11255e72915d4cbddceb435e13d81601755714e9fSE Android 12255e72915d4cbddceb435e13d81601755714e9fSE Android 13255e72915d4cbddceb435e13d81601755714e9fSE Androidallow role_a_1 role_a_2; 14255e72915d4cbddceb435e13d81601755714e9fSE Android 15255e72915d4cbddceb435e13d81601755714e9fSE Androidrole_transition role_t_1 type_rt_1 role_t_2; 16