HOW TO: Tutorial (a) Use GNU GDB for reverse debugging

Published --