(defun vadd ( x y )
	( cond
		( ( null x ) y )
		( ( null y ) x )
		( t ( cons
			(+ (car x) (car y) )
			(vadd (cdr x) (cdr y)) )) ) )