miran Wed, 14 Jul 2021 03:29:55 -0700
return iterator(): (int, char) = Run
This is what you want to do.
