$ echo 'int main(int a, char **b) { write(1,"Hello, World!\n",14); return 0; }' >> hello.c

$ gcc -o hello hello.c

$ file hello
$ gcc -m64 -o hello hello.c