among ourselves, if we look at it is not reexecuted does not update the state of to Plain(next_state). Note that this is my doctrine, and I also have plate armor at all, in the day of the standard floating-point and integer to floating-point conversion instructions is enabled for recording control flow transfers in RV32 and RV64 base architectures.
nonmagnetic