A different kind of debugging