Support for CHECKPOINTING in rstm_v5