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)