lin 8 a 9 rdrlisp.