tag	line	file	source code
end_proc	682	scripts/tkgen.c	end_proc(menu_num, menu_min, menu_max);
end_proc	698	scripts/tkgen.c	end_proc(menu_num, menu_min, menu_max);
end_proc	720	scripts/tkgen.c	end_proc(menu_num, menu_min, menu_max);
end_proc	743	scripts/tkgen.c	end_proc(menu_num, menu_min, menu_max);
end_proc	756	scripts/tkgen.c	end_proc(menu_num, menu_min, menu_max);
end_proc	770	scripts/tkgen.c	end_proc(menu_num, menu_min, menu_max);
end_proc	783	scripts/tkgen.c	end_proc(menu_num, menu_min, menu_max);
end_proc	800	scripts/tkgen.c	end_proc(menu_num, menu_min, menu_max);
end_proc	818	scripts/tkgen.c	end_proc(menu_num, menu_num, menu_num);