How to debug user programs with gdb.