1 2 3 4 5 6 7 8 9 10
#include <stdio.h> int putc_unlocked(int c, FILE * stream) { return 0; } /* POSIX(199506) */