#include "dl3header.h" void f (void) { throw (A (42)); }
#include "dl3header.h"
void
f (void)
{
throw (A (42));
}
