Studies on sections of the ANSI Common Lisp specification