Udp test struct

type a  # network addresses
type t
type p = struct {
    x : t,
    y : t
}

include udp
instance foo : udp_simple(a,p)

import foo.recv
export foo.send

interpret a->bv[1]

extract iso_impl = foo.impl