#include <stdio.h>
                                                            extern FILE *stdout;
#define stdout                                                            stdout

/** standard output **/

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