Add using the race-detector as a TODO