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