useful part of a debugging session