$use StdIO;

$func Main = e;
Main =
  {
    OK : e1 = e1;
  } : e1,
  <WriteLn e1>;