On Monday, 31 January 2022 at 17:52:17 UTC, Ola Fosheim Grøstad 
wrote:
> ```
> int x;
> for(int i=1; i<99998; i++){
>    x = next_monotonically_increasing_int_with_no_sideffect();
> }
> assert(x <= maximum_integer_value - 99998);
>
> ```
Typo, should have been a "…" in the loop, assuming no sideffects.