$use StdIO;

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