1 2 3 4 5 6 7 8 9 10 11 12
#include <stdio.h> int getchar(void) { int r; flockfile(stdin); r = getchar_unlocked(); funlockfile(stdin); return r; }