typedef struct File<Type, Impl>{
        union Data* file;
        struct file *f;
        int n;
        char *p;
        __code file_read(__code, next(...));
        __code next(...);
} File;