#include <stdio.h>
FILE *__stderr;