I've read that the INT 3 (0xCC) is used for software breakpoints.
It is set by (for instance) a debugger by overwriting the actual program code in memory.
I've also read that INT 3 is a "trap" not "fault" exception meaning the address pushed on the stack is the address of the instruction following the INT3 instruction.
How does the debugger guarantee correctness if the patched instruction is not re-executed?