policy_module(unprivuser, 1.0.1) # this module should be named user, but that is # a compile error since user is a keyword. ######################################## # # Declarations # role user_r; userdom_unpriv_user_template(user)