Update eval.c.txt