(nil (/wp-gen/examples/pcode.lisp::int_xor (nil nil nil (mod) nil nil nil) (nil nil nil (logxor expt) nil nil nil) ((x y z) (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) (nil nil nil nil nil nil nil)) (/wp-gen/examples/pcode.lisp::int_equal (nil nil nil nil (if) nil nil) (nil (1 0) nil (=) nil nil nil) (nil nil nil (mod mod) nil nil nil) ((x y) nil nil (expt expt) nil nil nil) ((z z) (2 2) nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/wp-gen/examples/pcode.lisp::int_sless (nil nil nil nil (if) nil nil) (nil (1 0) nil (<) nil nil nil) ((x y) 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)) (/wp-gen/examples/pcode.lisp::int_add (nil nil nil (mod) nil nil nil) (nil nil nil (+ expt) nil nil nil) ((x y z) (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) (nil nil nil nil nil nil nil)) (/wp-gen/examples/pcode.lisp::int_or (nil nil nil (mod) nil nil nil) (nil nil nil (logior expt) nil nil nil) ((x y z) (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) (nil nil nil nil nil nil nil)) (/wp-gen/examples/pcode.lisp::int_carry (nil nil nil nil (if) nil nil) (nil (1 0) nil (>=) nil nil nil) (nil nil nil (+ expt) nil nil nil) ((x y z) (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)) (/wp-gen/examples/pcode.lisp::int_sub (nil nil nil (mod) nil nil nil) (nil nil nil (- expt) nil nil nil) ((x y z) (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) (nil nil nil nil nil nil nil)) (/wp-gen/examples/pcode.lisp::int_mult (nil nil nil (mod) nil nil nil) (nil nil nil (* expt) nil nil nil) ((x y z) (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) (nil nil nil nil nil nil nil)))