added instrumentation for _all_ memory accesses via a single callee