added current-user-privilege-set