move inside Inet module. Extract UDPEchoServer