tag	line	file	source code
code_size	44	scripts/ksymoops.cc	const int code_size = 20;
code_size	175	scripts/ksymoops.cc	objfile_stream.write(code, code_size);
code_size	307	scripts/ksymoops.cc	unsigned char code[code_size];
code_size	309	scripts/ksymoops.cc	unsigned char* end = &code[code_size];