ident, ident);
ident);
write_header(gpointer key, gpointer value, gpointer user_data){    char *ident = (char *)value;    TreeState *state = (TreeState *)user_data;    fprintf(state->file, "#include \"%s.h\"\n",            ident, ident);}