tag	line	file	source code
end_proc	748	scripts/tkgen.c	end_proc(menu_num);
end_proc	764	scripts/tkgen.c	end_proc(menu_num);
end_proc	786	scripts/tkgen.c	end_proc(menu_num);
end_proc	809	scripts/tkgen.c	end_proc(menu_num);
end_proc	822	scripts/tkgen.c	end_proc(menu_num);
end_proc	836	scripts/tkgen.c	end_proc(menu_num);
end_proc	849	scripts/tkgen.c	end_proc(menu_num);
end_proc	868	scripts/tkgen.c	end_proc(menu_num);
end_proc	886	scripts/tkgen.c	end_proc(menu_num);