#include <stdio.h>

FILE *stdout_ptr(void);
FILE *stderr_ptr(void);