#include <stdio.h>
#include <string.h>

typedef FILE* FILEP;