(LETREC DECLIST (DECLIST LAMBDA (L)
  (IF (EQ L (QUOTE NIL)) (QUOTE NIL)
	  (CONS (SUB (CAR L) (QUOTE 1)) (DECLIST (CDR L))))))&