On Thu Feb 9 16:13:27 2023 +0000, Francisco Casas wrote:
nitpick: may be good to add an empty line before this one so that it is known that the comment doesn't apply to it. Or even better, a comment along the lines of:
Synthetic variable to keep track of whether a return statement has
been executed.
Yep, this predates those comments. Fixed in v2, thanks.