+ callsites passed along
+ size passed along with memory access
+ Pass symbol info from valgrind
+ CALL, RETURN, BLOCK...
