file_dtor
static void file_dtor(void *, void *);
0, "file", NULL, IPL_NONE, file_ctor, file_dtor, NULL);