me <- ['key -> "jj",
       'chan -> channel("jj")];

servers <- [ "enro" -> channel("enro")];

func rpc(x: key, f: ANY):ANY
pre  x in dom(servers)
returns let( a = send(servers[x],<me['key],f>))
        in receive(me['chan]);

func end_rcp()
state foreach(x,servers,do(rmchannel(p2(x))));