Re: 64-unclean code in eval.c