Difference between dbg00.exe and dbg01.exe is that dbg01.exe restore RIP after remove breakpoint
;

original prog.exe, start with RAX=0
00000000`00401000 48ffc8           dec     rax
00000000`00401003 48ffc3           inc     rbx
00000000`00401006 48ffc9           dec     rcx
00000000`00401009 48ffca           dec     rdx
00000000`0040100c 48ffce           dec     rsi
00000000`0040100f 48ffcf           dec     rdi
00000000`00401012 48ffcd           dec     rbp
00000000`00401015 49ffc8           dec     r8
so result is RAX=FFFFFFFFFFFFFFFFh

dbg00.exe run prog.exe
00000000`00401000 cc               int     3
00000000`00401001 ffc8             dec     eax
00000000`00401003 48ffc3           inc     rbx
00000000`00401006 48ffc9           dec     rcx
00000000`00401009 48ffca           dec     rdx
00000000`0040100c 48ffce           dec     rsi
00000000`0040100f 48ffcf           dec     rdi
00000000`00401012 48ffcd           dec     rbp
00000000`00401015 49ffc8           dec     r8
so result is so result is RAX=00000000FFFFFFFFh

dbg01.exe run prog.exe
00000000`00401000 cc               int     3
00000000`00401001 ffc8             dec     eax
00000000`00401003 48ffc3           inc     rbx
00000000`00401006 48ffc9           dec     rcx
00000000`00401009 48ffca           dec     rdx
00000000`0040100c 48ffce           dec     rsi
00000000`0040100f 48ffcf           dec     rdi
00000000`00401012 48ffcd           dec     rbp
00000000`00401015 49ffc8           dec     r8
after restore 00000000`00401000 back to original 48h it will decrease RIP to 401000
00000000`00401000 48ffc8           dec     rax
00000000`00401003 48ffc3           inc     rbx
00000000`00401006 48ffc9           dec     rcx
00000000`00401009 48ffca           dec     rdx
00000000`0040100c 48ffce           dec     rsi
00000000`0040100f 48ffcf           dec     rdi
00000000`00401012 48ffcd           dec     rbp
00000000`00401015 49ffc8           dec     r8
so result is RAX=FFFFFFFFFFFFFFFFh
