extern "C" void abort (void);
#include "vbase11.h"
void vbase11_y (derived& d)
{
  if (d.foo() != 2)
    abort ();
  if (d.bar() != 3)
    abort ();
}
extern "C" void abort (void);
#include "vbase11.h"
void vbase11_y (derived& d)
{
  if (d.foo() != 2)
    abort ();
  if (d.bar() != 3)
    abort ();
}