examples: fix length example; we're a Lisp-1