Test: exception is user code should get caught by our framework