size_mb limits the amount of memory used for reverse execution. If the value is set to 0, no limit is imposed.
steps limits the scope of reversibility to the specified number of steps. If the value is set to 0, no limit is imposed.