#include <stdio.h>

int putchar_unlocked(int c)
{
	return putc_unlocked(c, stdout);
}

/*
POSIX(199506)
*/