tag	line	file	source code
ESgotpars	1040	kernel/chr_drv/console.c	} else state=ESgotpars;
ESgotpars	1041	kernel/chr_drv/console.c	case ESgotpars: