Added a codec for current-user-privilege-set