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