#include <stdio.h>

FILE *stdin = nullptr;
FILE *stdout = nullptr;
FILE *stderr = nullptr;