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

/** standard input **/

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