$use StdIO;

$func Main = e;
Main =
  A B : e1 s2,
  <WriteLn e1>,
  C D :: e1,
  e1 : s3 e4,
  <WriteLn e4>;