final Block bb = b;
invoke(new ThreadTask() {
public Result eval(GreenWorld w) {
w = w.withNewThread(new GreenThreadState(GreenThread.this,bb));
return new Result(w, new Outcome(GreenThread.this,null), false);
}
});
// thus the code will never reach here
throw new AssertionError();