$use StdIO;

$func F s = s s;

F s1 = A s1;

$func Main = e;
Main =
  B :: s1,
  <F s1> :: s1 s2,
  <WriteLn s1 s2>;