((/models/y86/y86-two-level/common/arithmetic-5++.lisp::ind-hint-3-0 (nil nil nil nil (if) nil nil) (nil nil nil (or cons) (recursive-call) nil nil) ((y z) nil (zip) (equal floor floor floor) nil nil nil) ((x x x y z) (-1 2 2 2) 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)) (/models/y86/y86-two-level/common/arithmetic-5++.lisp::p-o-2-g-fn-n (nil nil nil (let) nil nil nil) (((n (power-of-2-generalized c))) nil nil nil (if) nil nil) ((n nil) nil (list) nil nil nil nil) (nil nil nil (cons) nil nil nil) (nil nil (quote kwote) nil nil nil nil) ((n n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))