$use StdIO;

$func Main = e;
Main =
  { A; B; } : { s1 = s1; } $iter C :: s1, <PrintLn s1> =
  /*empty*/ $iter e1 : { s = A; e = B; } :: e1, e1 : v = <PrintLn e1>;