$use StdIO;

$func F s = s;
F s1 = s1;

$func Main = e;
Main =
  { <F 1> :: s1, s1; } :: s2,
  { <F 2> :: s1, s1; } :: s3,
  { <F 3>; } :: s1,
  <WriteLn s2 s3 s1>;