let tau_of_ctype t = tau_of_object (Ctypes.object_of t)