extern void catch();

int main(){
	catch():
}