preliminary support for exception handlers