$use StdIO;

$func Main = e;
Main = A :: e.arg1, (B) (C) :: e.arg2, e.arg1 e.arg2 : e1 e2 (e3) (e4), <WriteLn (e1) (e2) (e3) (e4)>;