require("socket") class TCPSocket { def TCPSocket open: server port: port { open(server, port) } }