On Friday, 19 April 2019 at 17:36:34 UTC, number wrote:
The function's closing comments (first code example) need some maintenance, 'exit' also in the code on the page itself:``` } // exit() ... } // keep() ... } // toss() ```
:) Thanks, as always, number. Fixed and updated.