#include "stdio.h"
FILE *stdin, *stdout, *stderr;