let gaddress_of_mem tenv e off =
    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