#if 0

#include <stdio.h>
FILE *__stdout;


#endif