TException is throwable, too, and treated the same -- combine the catch clauses?