equal to the desired restart value (must clear is_called, did not). Per bug report #1127 from Piotr Konieczny.