Good progress on debugger stepping