From: ramsdell@linus.mitre.org Date: Fri, 01 Sep 89 09:08:45 EDT On naming BABY-DOE, I think we can assume that Pavel suggests CALL-WITH-VALUES and Chris Hanson suggests WITH-VALUES. I've changed my mind. I now agree with Pavel and prefer `call-with-values'.