raceCheckRead(tid, addr);
raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 1));
raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 2));
raceCheckRead(tid, addr);
raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 1));
raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 2));