((/rtl/rel1/support/fadd/lop1.lisp::C (nil nil nil (-) nil nil nil) (nil nil nil (bitn bitn) nil nil nil) ((a k b k) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/rtl/rel1/support/fadd/lop1.lisp::PHI (nil nil nil nil (if) nil nil) (nil (0) nil (and) (if) nil nil) (nil (0) (integerp) (>= =) (if) nil nil) ((k k k) (0 0) nil (=) (if) (phi) nil) ((d a b k) (0) (1-) (=) (c) (phi) nil) ((a b k d a b) nil (1- - - 1-) nil nil nil nil) ((k k) nil nil nil (c c) nil nil)))