(defun cadddr (x) (car (cdr (cdr (cdr x)))))
(defun cdr (x) (cdr x))
(defun cdar (x) (cdr (car x)))
-(defun cddr (x) (cdr (cdr x)))
-(defun cdddr (x) (cdr (cdr x)))
+(defun cddr (x) (cdr (cdr (cdr x))))
+(defun cdddr (x) (cdr (cdr (cdr (cdr x)))))
(defun first (x) (car x))
(defun second (x) (cadr x))
(defun mark-binding-as-declared (b)
(setcar (cdddr b) t))
+
(defvar *variable-counter* 0)
(defun gvarname (symbol)
(concat "v" (integer-to-string (incf *variable-counter*))))