void menu_add_menu(void) 
struct menu *menu_add_menu(void) 
void menu_add_menu(void){	current_menu = current_entry;	last_entry_ptr = &current_entry->list;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/a02f0570ae201c495ee991b959bb974af18f35cc/menu.c/buggy/scripts/kconfig/menu.c