#include <stdio.h>
#include "dl3header.h"

extern void f (void);

int
main (void)
{
  try
    {
      f();
    }
  catch (A a)
    {
      if (a.i == 42)
	printf ("OK\n");
      else
	printf ("BAD1\n");
    }
  catch (...)
    {
      printf ("BAD2\n");
    }
  return 0;
}