Debugging and benchmarking