Ariadne, a thread error detector.