let set_proxy key state = let ip = Property.IPBlob state in match Info.state_proxy key ip with | None -> () | Some ( descr , ips ) -> let st = Checked{emitter=descr;valid=True} in Proxy.set ip ips st