73a74,78
> do_checkpoint_insts = Param.Bool(True,
> "enable checkpoint pseudo instructions")
> do_statistics_insts = Param.Bool(True,
> "enable statistics pseudo instructions")
>
77,80d81
< do_checkpoint_insts = Param.Bool(True,
< "enable checkpoint pseudo instructions")
< do_statistics_insts = Param.Bool(True,
< "enable statistics pseudo instructions")