WebKit fork with the EventRacer instrumentation for race detection.