Please enter the commit message for your changes. Lines starting
define eval procedures of let and let*