                               (rplacd (quote xsy) (quote (expr (lambda (x) (prog (y) (setq y oblist) a (cond
 ((null (cdr y)) (return nil)) ((eq x (car (cdr y))) (return (rplacd y (cdr (cdr
 y)))))) (setq y (cdr y)) (go a)))))) 


                                                                                                                                                                                                       (rplacd (quote remove) (quote (fexpr (lambda (x y) (prog nil a (cond ((null x) 
(return oblist))) (xsy (car x)) (setq x (cdr x)) go a)))))) 
                                                                                                                                                                      (rplacd (quote caar) (quote (expr (lambda (x) (car (car x)))))) 



(rplacd (quote cadr) (quote (expr (lambda (x) (car (cdr x)))))) 


(rplacd (quote cdar) (quote (expr (lambda (x) (cdr (car x)))))) 



(rplacd (quote cddr) (quote (expr (lambda (x) (cdr (cdr x)))))) 


(rplacd (quote cset) (quote (expr (lambda (x y) (rplacd x (list (quote apval) y)))))) 


                                                                                                                                                             (rplacd (quote csetq) (quote (fexpr (lambda (x a) (cset (car x) (eval (cadr x) a)))))) 
                                                                                                                                                       (rplacd (quote equal) (quote (expr (lambda (x y) (cond ((atom x) (eq x y))
 ((atom y) nil) ((equal (car x) (car y)) (equal (cdr x) (cdr y))) (t nil)))))) 


                                                                                                                               (rplacd (quote rem) (quote (expr (lambda (y x) (cond ((equal y x) 0) ((greaterp x y)
 y) (t (rem (plus y (minus x)) x))))))) 


                                                                                                                                                                 (rplacd (quote difflist) (quote (expr (lambda (a x) (cond ((null x) nil
) ((equal a (car x)) (difflist a (cdr x))) (t (cons (car x) (difflist a (
cdr x))))))))) 


                                                                                                                                                                              (rplacd (quote dex) (quote (fexpr (lambda (x a) (rplacd (car x) (cons (quote expr) (cdr x))))))) 


                                                                                                                                                        (rplacd (quote dfx) (quote (fexpr (lambda (x a) (rplacd (car x) (cons (quote fexpr) (cdr x))))))) 


                                                                                                                                  (rplacd (quote zerop) (quote (expr (lambda (x) (cond ((equal x 0) t) (t nil)))))) 
                                                                                                                                                                                (rplacd (quote absval) (quote (expr (lambda (x) (cond ((greaterp 0 x) (minus x)) (t x)))))) 



                                                                                                                                                                                      (rplacd (quote not) (quote (expr null))) 
                                                                                                                                                                                                              (rplacd (quote or) (quote (fexpr (lambda (x a) (prog nil n (cond ((null x) (return nil))
 ((eval (car x) a) (return t))) (setq x (cdr x)) (go n)))))) 
                                                                                                                                                                                                                      (rplacd (quote assoc) (quote (expr (lambda (x y) (cond ((equal (caar y) x) (car y))
 (t (assoc x (cdr y)))))))) 






                                                                                                                                                                                                  (rplacd (quote last) (quote (expr (lambda (l) (cond ((null l) nil) ((null (cdr l))
 (car l)) (t (last (cdr l)))))))) 



                                                                                                                                                                                                                              (rplacd (quote length) (quote (expr (lambda (l) (prog (u v) (setq v 0) (setq u l)
 a (cond ((null u) (return v))) (setq u (cdr u)) (setq v (plus 1 v)) (go a)))))) 


                                                                                                                                                                                                                (rplacd (quote member) (quote (expr (lambda (a x) (cond ((null x) nil) ((eq
 a (car x)) t) (t (member a (cdr x)))))))) 



                                                                                                                                                                                                                               (rplacd (quote gcd) (quote (expr (lambda (x y) (cond ((greaterp x y) (gcd y x))
 ((zerop (rem y x) x) (t (gcd (rem y x) x))))))) 

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                               

