tag	line	file	source code
objfile_head	151	scripts/ksymoops.cc	unsigned char objfile_head[] = {
objfile_head	174	scripts/ksymoops.cc	objfile_stream.write(objfile_head, sizeof(objfile_head));