(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)))))))