Select Code to Download

gcc -S a.c

$ cat a.c
#include <stdio.h>
...
   printf("Hello, World!\n");
   return 0;
}

$ cat a.s
        .file   "a.c"
...
        .size   main, .-main
        .ident  "GCC: (Debian 4.3.2-1.1) 4.3.2"
        .section        .note.GNU-stack,"",@progbits