$use StdIO;

$func Main = e;
Main =
  $trap XXX : {
    e $fail;
    e $trap $fail $with {};
    e $error;
  } $with {
    e = <PrintLn OK>;
  };