How to record/replay and debug a program using reverse debugging through a small example program written in C.