#include <stdio.h>

typedef FILE* FILE_P;