1Test that we do not segfault when we check a catch handler
2for an unresolvable exception.
3