let sizeof_loc l = 
      let size = Ctypes.sizeof_object (object_of_loc l) in 
      F.e_int64 size