let load_mem mb te loc =
      let xzone = Tint.mk_xzone loc (sizeof_c_object te) in
      let tzone = Tint.term_of_xzone xzone in
      let bits = RtLib.load mb tzone in
      (!value_of_bits te bits)