type t = unit Ctypes.ptr
val t : t Ctypes.typ