A Debugger modeled as a state machine for debugging networking systems.