policy_module(guest, 1.0.0) ######################################## # # Declarations # role guest_r; userdom_restricted_user_template(guest) ######################################## # # Local policy # optional_policy(` java_role(guest_r, guest_t) ') #gen_user(guest_u,, guest_r, s0, s0)