How do I expand a "simple" loop which contains IO?

[dreasgrech]

My current definition of a simple loop is:

• A simple loop is a loop which, when ignoring nested loops, the pointer returns to the initial position of the loop after execution
• A nested loop also doesn't contain any IO.

Currently, simple loops are expanded into a multiplication operation but how do I expand a simple loop which contains IO?