#module std.internet

union Cmd {
    Send(u8[]),
    Receive,
    Finish,
}

primitive tcp_client(u8[] ip, u16 port, in<Cmd> cmds, out<u8[]> rx) {
    #builtin
}