((/rtl/rel7/support/support/fadd-extra.lisp::rc-carry (nil nil nil nil (if) nil nil) (nil (0) (zp) nil (lior) nil nil) ((k) (1) nil nil (land lior) nil nil) (nil (1 1) nil (bitn bitn) (land land) nil nil) ((x y) (1 1) (1- 1-) (bitn bitn) (recursive-call recursive-call) nil nil) ((k k x x y y x y) nil (1- 1- 1- 1-) nil nil nil nil) ((k k k k) nil nil nil nil nil nil)) (/rtl/rel7/support/support/fadd-extra.lisp::rc-sum (nil nil nil nil (if) nil nil) (nil (0) (zp) nil nil (cat) nil) ((k) (1) (1-) nil (lxor recursive-call) nil nil) ((x y k) (1) (1-) (bitn) (lxor) nil nil) ((x k) (1) (1-) (bitn) (rc-carry) nil nil) ((k y x y) nil (1- 1-) nil nil nil nil) ((k k) nil nil nil nil nil nil)))