read_instrumented_memory
old = is_reorder_access ? 0 : read_instrumented_memory(ptr, size);
new = read_instrumented_memory(ptr, size);