policy_module(usermod,1.0.0)


userdom_base_user_template(user1)
userdom_base_user_template(user2)


access_to_home(user1)
access_to_home(user2)