(* Is this user restricted to trusted-path executables? *)
| QSocket of string
(* What socket permissions does this user have? *)
(* Is this user restricted to trusted-path executables? *)
| QSocket of string
(* What socket permissions does this user have? *)