I agree with your argument, I guess, if tabulate does some strange things, but if I can mutate a vector, then I would say that the only solution is to not have call/cc at all. I admit that the fact that the stream library makes things slightly gray.