Correct example. We now use a pointer to an eval.Env rather than an eval.Env.