$use StdIO;

$func Main = e;
Main =
  {
    A B C : e1 e2, e1 : e3 s4,
      <WriteLn s4>,
      $fail;
    A B C : $r e1 e2, e1 : e3 s4,
      <WriteLn s4>,
      $fail;;
  };