Version 1 without CHECKPOINTING
1st modification to rstm_r5 without support for CHECKPOINTING