$use StdIO;

$func Main = e;
Main =
  { XXX; YYY; } : ex,
  {
    ex : YYY;
    <PrintLn "Branch 1 failed.">,
      ex : XXX,
      <PrintLn "Ok!">;
  };