Restore execution counter