The rewriting here is called “program inversion” in Jackson structured programming: https://en.m.wikipedia.org/wiki/Jackson_structured_programming https://en.m

The rewriting here is called “program inversion” in Jackson structured programming: https://en.m.wikipedia.org/wiki/Jackson_structured_programming https://en.m.wikipedia.org/wiki/Jackson_structured_programmi... The wiki article just hints about using coroutines under certain circumstances; so called “structure clash”. The program inversion technique is fully described in Jackson’s book Principles of Program Design, 1975.