$use StdIO;

$func F e = e;
F e1 = e1;

$func Main = e;
Main =
  <F XXX> :: ex,
  {
    <F YYY> :: ex,
      {
        <PrintLn ex>, ex;
      } :: ey;
  };