Debugging infrastructure