let sizeof_poffset = function
| Ofield fd -> F.e_int
(Int64.to_int (Ctypes.sizeof_object (object_of fd.ftype)))
| Oindex (i,o) ->
let typeof_obj = F.e_int64 (Ctypes.sizeof_object o)
in
F.e_iop Formula.Imul i typeof_obj