public Next eval(final Env e, final Continuation k) {
final TryBlockEnv f = new TryBlockEnv(e,finally_);
// possible evaluation of the finally block, if present.
for (final CatchExpression c : catches) {
f.addHandler(c.type, new Continuation() {
public Next receive(Object t) {
BlockScopeEnv b = new BlockScopeEnv(e);
b.declareVariable(c.type, c.name);
b.setLocalVariable(c.name, t);