First version of the reexecution counter