let sizeof te = F.e_int64 (Ctypes.sizeof_object te)