insn-bad.s 170 KB