rdr 4 : 60 prlisp.