# ggdb provides debug output to objdump
#gcc -ggdb -c example2.c 

# compile
gcc -c example2.c 
# link
gcc example2.o -o example2
# run
time ./example2

# uncomment for assembly output
#objdump -dS example2.o