+set record insn-number-max 10000000