V20_lisp_bug