1 2 3 4 5 6 7 8 9 10 11 12
#include <stdio.h> int putchar(int c) { int r; flockfile(stdout); r = putchar_unlocked(c); funlockfile(stdout); return r; }