CLtL (p68) is not explicit on its intent about whether (DEFVAR FOO) is allowed to or intended to intialize FOO. For example, in Symbolics' Common Lisp FOO is left unbound but in VAXLISP it is initialized to NIL. The manual should state clearly whether an initialization occurs or be more up front if an ambiguity is in fact intended.