- enhancement: pause the debugging program (The debugger should work under gdb server mode, which is turned off by default in windows)