Don't we want unhandled TermException to bubble up?