#include <stdio.h>

int putc_unlocked(int c, FILE * stream)
{
	return 0;
}

/*
POSIX(199506)
*/