Debugging a segfault? Use this #define to bypass output buffering.

#define printf(...) do{printf(__VA_ARGS__);fflush(stdout);}while(0)

1 + 1 = 2.000000000003