((/arithmetic-3/floor-mod/mod-expt-fast.lisp::mod-expt-fast-1 (nil nil nil nil (if) nil nil) ((acc) nil (zp) (let) nil nil nil) ((i (floor-i-by-2 (ash i -1))) nil nil nil (if) nil nil) (nil nil (oddp) nil nil (recursive-call recursive-call) nil) ((i floor-i-by-2 n floor-i-by-2 n acc) nil nil (mod mod mod) nil nil nil) ((n n n) nil nil (* * *) nil nil nil) ((a a a acc a a) nil nil nil nil nil nil)) (/arithmetic-3/floor-mod/mod-expt-fast.lisp::mod-expt-fast (nil nil nil nil nil (mbe) nil) ((:exec :logic) nil nil (mod) nil (cond) nil) ((n) nil ((not (integerp a)) (and (integerp n) (< 1 n)) (eql n 1) t) (expt) nil nil nil) ((a i) (0) nil (mod mod) nil (mod-expt-fast-1) nil) ((n a i n n) (1) nil (expt expt) nil nil nil) ((a i a i) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))