| Some pwd, false when Some pwd = Helm_registry.get_opt Helm_registry.get (password_key pid) -> ()
| _ -> raise (Access_denied (string_of_permission for_what, pid))
| Some pwd, false when Some pwd = Helm_registry.get_opt Helm_registry.get (password_key pid) -> ()
| _ -> raise (Access_denied (string_of_permission for_what, pid))