use len(Insn) and update add_section