#include <stdio.h>
#define stdout                                                          __stdout

/** standard output **/

/***
is the standard output stream.
***/
/*
STDC(1)
*/