let store_mem mb te loc v = let tzone = Tint.term_of_xaddr loc in RtLib.store mb tzone (!bits_of_value te v)