                              (rplacd (quote sub2) (quote (expr (lambda (a z) (cond ((null a) z) ((
eq (caar a) z) (cdar a)) (t (sub2 (cdr a) z))))))) 
(rplacd (quote sublis) (quote (expr (lambda (a y) (cond ((atom y) (sub2 a y))
 (t (cons (sublis a (car y)) (sublis a (cdr y))))))))) 
                                                                                    (rplacd (quote pair) (quote (expr (lambda (x y) (prog (u v m) (setq u x)
 (setq v y) (setq m nil) k (cond ((null u) (cond ((null v) (return m)))))
 (setq m (cons (cons (car u) (car v)) m)) (setq u (cdr u)) (setq v (cdr v))
 (go k)))))) 

                                                                                                       (rplacd (quote pairlis) (quote (expr (lambda (x y a) (cond ((null x) a) (t (cons
 (cons (car x) (car y)) (pairlis (cdr x) (cdr y) a)))))))) 
                                                                                                               (rplacd (quote subst) (quote (expr (lambda (x y z) (cond ((equal y z) x)
 ((atom z) z) (t (cons (subst x y (car z)) (subst x y (cdr z))))))))) 


                                                                                                              (rplacd (quote deposit) (quote (expr (lambda (x y) (prog nil a (cond ((null x)
 (return y))) (xeq (plus 240000 y) (car x) 0) (setq x (cdr x)) (setq
 y (plus 1 y)) (go a)))))) 
(rplacd (quote putsubr) (quote (expr (lambda n x y) (prog nil (rplacd n (list
 (quote subr) (plus 160000 y))) (return (deposit x y))))))) 
(rplacd (quote defsubr) (quote (expr (lambda (n x) rplacd n (list (quote subr)
 (plus 160000 x))))))) 
                                                                                                                                                                                                                                                              

