tag	line	file	source code
done_coredump	128	fs/binfmt_aout.c	goto done_coredump;
done_coredump	181	fs/binfmt_aout.c	done_coredump: