The symbolic tracer Tracy.