gistfile1.txt

kristian@edwin:~$ cat foo.c; gcc -x c - < foo.c 2>/dev/null; ./a.out 
int main(int argc, char** argv) {
	print_stuff(5);
}
void print_stuff(double d) {
	printf("%f\n", d);
}
0.000000
kristian@edwin:~$ cat foo2.c; gcc -x c - < foo2.c 2>/dev/null; ./a.out 
void print_stuff(double d);
int main(int argc, char** argv) {
	print_stuff(5);
}
void print_stuff(double d) {
	printf("%f\n", d);
}
5.000000