__auxtrace_mmap__read
return __auxtrace_mmap__read(map, itr, env, tool, fn, false, 0);
return __auxtrace_mmap__read(map, itr, env, tool, fn, true, snapshot_size);