type t (* has uid [intf]Intf_uids.0 *)

type u (* has uid [intf]Intf_uids.1 *)