$use StdIO;

$func Main = e;
Main =
  {
    A B C : v1 v2, <WriteLn (v1) (v2)>, $fail;;
  };