$use StdIO;

$func Main = e;
Main, {
  {
    = {
      = $fail;
    };
  }, ;
  <PrintLn OK>;
};