((/rtl/rel8/support/lib1/bvecp-raw-helpers.lisp::fl (nil nil nil (floor) nil nil nil) ((x) (1) 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 nil nil nil nil nil nil)) nil (/rtl/rel8/support/lib1/bvecp-raw-helpers.lisp::expo (nil nil nil nil nil nil (cond)) (nil nil ((or (not (rationalp x)) (equal x 0)) (< x 0) (< x 1) (< x 2) t) nil nil nil nil) (nil (0 0) (recursive-call 1- 1+) nil nil nil nil) (nil nil (- recursive-call recursive-call) nil nil nil nil) ((x) nil nil (* /) nil nil nil) ((x x) (2 2) nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/rtl/rel8/support/lib1/bvecp-raw-helpers.lisp::expt-exec (nil nil nil nil nil (mbe) nil) ((:logic :exec) nil (hide) (expt) nil nil nil) ((r i) nil nil (expt) nil nil nil) ((r i) 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)))