CASE-LAMBDA, a syntax for procedures with a variable number of arguments, is introduced.