add str() for Insn