$use StdIO;

$func F = t;

F =
  $trap {
    XXX;
  }
  $with {
    e = YYY;
  };

$func Main = e;
Main = <PrintLn <F>>;