int3 clashes with the current way single-stepping is implemented, causing the code execution and the listing display to go out of sync