//
//above will be passed to g++.

#include <stdio.h>
void catch();
int main(){
  catch();
}