#include <stdio.h>

void thrower (void);

void thrower (void)
{
  throw (1);
}
void catcher (void)
{
  try {
    thrower();
  } catch (int i) {
    printf ("caught: %d\n", i);
  }
}
int
main (int argc, const char *argv[])
{
  catcher();
}