#include <stdio.h>

void xfreopen (char const *filename, char const *mode, FILE *fp);