tag	line	file	source code
objfile_tail	157	scripts/ksymoops.cc	unsigned char objfile_tail[] = {
objfile_tail	176	scripts/ksymoops.cc	objfile_stream.write(objfile_tail, sizeof(objfile_tail));