See ExtendTigerWithDoWhile