let gaddress_of_mem tenv e off : (typ * data) =
let g = !data_rec tenv e in
let te =
match kind_of e.term_type with
| Kptr telt -> telt
| Kset(Kptr telt) -> telt
| _ -> WpLog.fatal "expected pointer"
in
memory_offset tenv te g off