https://sourceware.org/gdb/current/onlinedocs/gdb.html/Checkpoint_002fRestart.html#Checkpoint_002fRestart

https://sourceware.org/gdb/current/onlinedocs/gdb.html/Reverse-Execution.html#Reverse-Execution

https://sourceware.org/gdb/current/onlinedocs/gdb.html/Core-File-Generation.html#Core-File-Generation