(and, of course, `else { throw e; }` )