sim-num-insn debug, chkpt