A C file declaration depends on the platform, but it often starts as follows:
struct __file {
unsigned char *__bufPtr;
... } FILE;
All we want is a pointer (or token) for a file, so we can finesse this translation with:
define struct 1 file;
define alias file_Handle handle file;