tag	line	file	source code
end_proc	754	scripts/tkgen.c	end_proc(menu_num);
end_proc	770	scripts/tkgen.c	end_proc(menu_num);
end_proc	792	scripts/tkgen.c	end_proc(menu_num);
end_proc	815	scripts/tkgen.c	end_proc(menu_num);
end_proc	828	scripts/tkgen.c	end_proc(menu_num);
end_proc	842	scripts/tkgen.c	end_proc(menu_num);
end_proc	855	scripts/tkgen.c	end_proc(menu_num);
end_proc	874	scripts/tkgen.c	end_proc(menu_num);
end_proc	892	scripts/tkgen.c	end_proc(menu_num);