100644 blob f82082677337e8fc769ebdef16e747e4b6ce00ba	Makefile
100644 blob 0d13cd9fdcffd6e5cc791bb23770de06df3a46d9	chkobjdump.awk
100644 blob c13c0ee48ab421a9a13e9170420dce1fe3e3d796	distill.awk
100644 blob e34e92a28eb6692d610498e7e0e44aa701d2fb72	gen-insn-attr-x86.awk
100644 blob d8214dc03fa7a46e4dc2c9408b8674a13017e1e0	test_get_len.c