The lecture material:
Compile the programs using the following command:
% gcc -W -Wall -Os -o hello -g hello.c
Other people recommend -ggdb3 and -O0 instead, those are actually more useful for debugging on gcc4.