let tau_of_ctype_logic t =
    Runtime.tau_of_object (Ctypes.object_of t)