gcc -S prog.c produces a file called prog.s