$use StdIO;

$func F = e;
$func G = ;

F = {
  {
    $trap $error XXX $with {
      e1 = $error e1;
    };
    YYY;
  } :: e1 =
    e1;
  ZZZ;
};

G = $trap <PrintLn <F>> $with {
  e1 = <PrintLn e1>;
};

$func Main = e;
Main = <G>;