tag	line	file	source code
end_proc	616	scripts/tkgen.c	end_proc(menu_num, menu_min, menu_max);
end_proc	632	scripts/tkgen.c	end_proc(menu_num, menu_min, menu_max);
end_proc	654	scripts/tkgen.c	end_proc(menu_num, menu_min, menu_max);
end_proc	677	scripts/tkgen.c	end_proc(menu_num, menu_min, menu_max);
end_proc	690	scripts/tkgen.c	end_proc(menu_num, menu_min, menu_max);
end_proc	704	scripts/tkgen.c	end_proc(menu_num, menu_min, menu_max);
end_proc	717	scripts/tkgen.c	end_proc(menu_num, menu_min, menu_max);
end_proc	734	scripts/tkgen.c	end_proc(menu_num, menu_min, menu_max);
end_proc	752	scripts/tkgen.c	end_proc(menu_num, menu_num, menu_num);