struct menu *child; static int menu_cnt = 0; 
struct menu *child; static int menu_cnt = 0; 
void fixup_rootmenu(struct menu *menu){        struct menu *child;        static int menu_cnt = 0;        menu->flags |= MENU_ROOT;        for (child = menu->list; child; child = child->next) {                if (child->prompt && child->prompt->type == P_MENU) {                        menu_cnt++;                        fixup_rootmenu(child);                        menu_cnt--;                } else if (!menu_cnt)                        fixup_rootmenu(child);        }}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/bafd2df5d0049bccc74947fece37963e3f68fadc/gconf.c/clean/scripts/kconfig/gconf.c