Used simplifier rules/spec theorems by specification

Used from specification int-basic1

• int-basic1/forward-pos is used by shiftzero-rec-neg-shorter, shiftzero-rec-neg-longer, shiftzero-max-neg-01, shiftzero-max-neg, shiftright-shift, shiftright-rec-pos, shiftright-rec-8-neg, shiftright-neg-div, longshiftzero-carry-01, longshiftright-2pot-pos, intshiftrsign-rec-pos, intshiftrsign-rec-neg, intshiftrsign-abs-le, intshiftrsign-2pot-pos, intshiftrsign-2pot-neg-02, intshiftrsign-2pot-neg-01, intshiftrsign-2pot-neg, intshiftright-ls-02, intshiftleft-is-mult, cast-size-fits-01, cast-size-fits, cast-mod-pos-low, cast-mod-pos-high, cast-mod-ls-neg, cast-mod-ls-most, cast-law-shift-snd-l, cast-law-mult-pos, cast-help-comm, bxor-flip-one-bit, band-max, band-63-pos-02, band-31-pos-02,
• int-basic1/irref is used by shiftzero-max-neg-01, shiftzero-max-neg, shiftright-not-le, intshiftrsign-if, intshiftrsign-abs-le, cast-mod-pos-low, cast-mod-pos-high, cast-length, cast-help-comm, cast-cast, bxor-flip-one-bit, band-max, band-011x-is-unsigned-fix, band-011x-is-lastn,
• int-basic1/lf-01 is used by bor-2pot-plus-01,
• int-basic1/lf-02 is used by bor-2pot-plus-01, and-011x-neg,
• int-basic1/lf-03 is used by bor-2pot-plus-01, bor-2pot-plus, band-011x-pos,
• int-basic1/ls-01 is used by shiftzero-max-neg-01, shiftzero-max-neg, shiftright-shift, shiftright-rec-neg, shiftright-rec-8-neg, shiftright-not-pos, shiftright-not-le, shiftright-neg-div, longshiftright-2pot-pos, intshiftrsign-rec-neg, intshiftrsign-2pot-neg-02, intshiftrsign-2pot-neg-01, intshiftright-ls-02, intshiftright-ls-01, cast-size-fits-01, cast-size-fits, cast-mult-neg, cast-mult-add-h-01, cast-mult-add-h, cast-mult-add, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-low, cast-mod-neg-high, cast-mod-ls-pos, cast-mod-ls-neg, cast-mod-ls-most, cast-law-neg-pos, cast-law-neg, cast-law-mult-pos, cast-law-mult-one, cast-law-add-pos-01, cast-law-add-pos, cast-law-add-one, cast-help-comm, cast-add-2pot-h, bxor-flip-one-bit, bor-2pot-plus-01, bor-2pot-plus, band-min, band-max, band-63-pos-02, band-31-pos-02, band-011x-pos, band-011x-is-unsigned-fix, band-011x-is-unsigned-03, band-011x-is-unsigned-01, band-011x-is-unsigned, band-011x-is-lastn, band-011x-eq,
• int-basic1/lst is used by shiftright-not-le, bxor-flip-one-bit, band-011x-pos,
• int-basic1/lst-01 is used by shiftright-shift, intshiftright-ls-01, cast-mod-neg-low, cast-mod-neg-high, bxor-flip-one-bit, band-max, band-011x-is-unsigned-fix, band-011x-is-unsigned-03,
• int-basic1/minus-one is used by shiftright-rec-8-neg, shiftright-neg-div, intshiftrsign-2pot-neg-01, cast-mod-neg-low,
• int-basic1/numlsf is used by shiftzero-rec-neg-shorter, shiftzero-rec-neg-longer, shiftzero-max-neg, shiftzero-by-one-01, shiftzero-by-one, shiftright-rec-8-neg, shiftright-neg-div, intshiftrsign-2pot-neg-01, intshiftleft-is-mult-01, cast-mod-neg-low, cast-mod-neg-high, cast-min, band-min, band-max,
• int-basic1/numlslsdel is used by shiftright-shift, shiftright-rec-8-neg, intshiftrsign-rec-pos, intshiftrsign-rec-neg, intshiftrsign-pos-num, intshiftrsign-2pot-pos, intshiftrsign-2pot-neg-01, intshiftrsign-2pot-neg, band-min,
• int-basic1/numlslsdel-01 is used by shiftright-rec-8-neg, longshiftzero-carry-01, bxor-flip-one-bit,
• int-basic1/trans is used by bor-2pot-plus-01,
• int-basic1/two-ls is used by bxor-flip-one-bit,

Used from specification int-mult

• int-mult/commutativity is used by cast-law-mult, band-min,
• int-mult/dist-lsplit is used by cast-law-mult-pos, cast-law-mult-one,
• int-mult/dist-rsplit is used by shiftright-neg-div,
• int-mult/dist-sub-split is used by shiftright-neg-div,
• int-mult/exdivmodpos is used by divide-by-10,
• int-mult/minus-left is used by cast-mult-neg-01,
• int-mult/Mult-zero is used by intshiftrsign-2pot-neg, intshiftleft-is-mult-01, cast-mult-add-h-01, cast-mult-add-h, cast-mult-add, cast-law-mult-pos, cast-law-mult-one, bor-2pot-plus,
• int-mult/abs-eqall is used by bor-2pot-plus-01,
• int-mult/associativity is used by shiftzero-max-neg, shiftright-rec-8-neg, shiftright-pos-div, shiftright-neg-div, shiftright-is-le, intshiftrzero-prop-01, intshiftrsign-2pot-neg-02, intshiftrsign-2pot-neg-01, intshiftrsign-2pot-neg, intshiftright-ls-02, intshiftleft-is-mult-01, intshiftleft-is-mult, divide-by-10, cast-sub-2pot, cast-mult-pos, cast-mult-neg-02, cast-mult-neg, cast-mult-add-h-01, cast-mult-add-h, cast-mult-add, cast-mult-2pot, cast-mod-neg-low, cast-law-neg-pos, cast-law-neg, cast-law-mult-pos, cast-law-mult-one, cast-law-add-pos-01, cast-law-add-pos, cast-law-add-one, cast-add-2pot-01, cast-add-2pot, bxor-flip-one-bit, bor-2pot-plus-01, bor-2pot-plus, bitsxor-is-orand, bitsor-bi-sgn, band-min, band-max, band-011x-pos, and-011x-neg,
• int-mult/commutativity is used by shiftzero-max-neg, shiftright-rec-8-neg, shiftright-rec-8, shiftright-pos-div, shiftright-neg-div, shiftright-is-le, intshiftrzero-prop-01, intshiftrsign-2pot-neg-02, intshiftrsign-2pot-neg-01, intshiftrsign-2pot-neg, intshiftright-ls-02, intshiftleft-is-mult-01, intshiftleft-is-mult, divide-by-10, cast-sub-2pot, cast-mult-pos, cast-mult-neg-02, cast-mult-neg, cast-mult-add-h-01, cast-mult-add-h, cast-mult-add, cast-mult-2pot, cast-mod-neg-low, cast-law-neg-pos, cast-law-neg, cast-law-mult-pos, cast-law-mult-one, cast-law-mult, cast-law-leftshift, cast-law-add-pos-01, cast-law-add-pos, cast-law-add-one, cast-add-2pot-01, cast-add-2pot, bxor-flip-one-bit, bor-shift-plus, bor-65536-plus, bor-2pot-plus-02, bor-2pot-plus-01, bor-2pot-plus, bor-256-plus-01, bor-256-plus, bitsxor-is-orand, bitsor-bi-sgn, band-min, band-max, band-011x-pos, and-011x-neg,
• int-mult/dist-rmerge is used by shiftright-neg-div, intshiftrsign-2pot-neg-01, divide-by-10, cast-mult-add, bor-2pot-plus-01, band-min, and-011x-neg,
• int-mult/dist-sub-merge is used by intshiftrsign-2pot-neg-01, cast-law-mult-pos,
• int-mult/eq-dist is used by intshiftleft-is-mult, divide-by-10, bor-2pot-plus-01,
• int-mult/eq-nonzero is used by intshiftleft-is-mult-01,
• int-mult/eq-one is used by intshiftrzero-prop-01,
• int-mult/eq-pos is used by shiftright-neg-div, intshiftrzero-prop-01, intshiftrsign-2pot-neg-01, divide-by-10, bor-2pot-plus-01, bor-2pot-plus, bitsxor-is-orand, bitsor-bi-sgn, band-011x-pos, and-011x-neg,
• int-mult/eq-same is used by intshiftleft-is-mult-01, band-min,
• int-mult/le-same is used by band-max, band-011x-pos,
• int-mult/ls-add is used by cast-law-mult-pos,
• int-mult/ls-same is used by shiftright-is-le,
• int-mult/ls-same-02 is used by band-min,
• int-mult/minus-left is used by shiftright-neg-div, intshiftrsign-2pot-neg-01, intshiftleft-is-mult-01, intshiftleft-is-mult, cast-mult-neg-02, cast-law-mult-pos, bor-2pot-plus-01, band-min,
• int-mult/minus-one-01 is used by shiftright-pos-div, shiftright-neg-div, shiftright-is-le, intshiftright-ls-02, cast-mult-add-h, cast-law-add-pos-01, cast-add-2pot-01, band-min,
• int-mult/modzero is used by band-min,
• int-mult/modzero-01 is used by shiftright-rec-8-neg,
• int-mult/modzero-08 is used by band-min,
• int-mult/neq-not-zero is used by intshiftleft-is-mult-01,
• int-mult/neq-two is used by band-011x-pos,
• int-mult/numle-07 is used by shiftright-pos-div, shiftright-is-le,
• int-mult/numle-12 is used by band-min,
• int-mult/numls-03 is used by shiftright-neg-div, band-min,
• int-mult/numls-05 is used by shiftright-neg-div,
• int-mult/numls-07 is used by shiftright-neg-div, band-min,
• int-mult/numls-09 is used by band-min,
• int-mult/one is used by shiftright-rec-8-neg, shiftright-neg-div, intshiftleft-is-mult-01, intshiftleft-is-mult, divide-by-10, cast-sub-2pot, cast-mult-add-h, cast-mult-add, cast-law-add-pos, cast-add-2pot, bor-2pot-plus-01, bor-2pot-plus, band-min,
• int-mult/pred-rmerge is used by shiftright-rec-8-neg, band-min,
• int-mult/succ-rmerge is used by shiftright-neg-div, intshiftrsign-2pot-neg-02, intshiftrsign-2pot-neg-01, intshiftleft-is-mult-01, cast-mult-add-h-01, cast-mult-add-h, bor-2pot-plus-01, bitsor-bi-sgn, and-011x-neg,
• int-mult/two-zero is used by shiftright-neg-div, intshiftrsign-2pot-neg-01, cast-mod-neg-low, bitsor-bi-sgn, band-011x-pos,
• int-mult/zero-eq is used by shiftright-neg-div,
• int-mult/zero-ge is used by shiftright-rec-8-neg, shiftright-neg-div, divide-by-10, bor-2pot-plus, band-max, band-011x-pos,
• int-mult/zero-ge-add is used by divide-by-10, cast-mult-add, cast-law-mult-pos, cast-law-add-pos-01, cast-law-add-pos, band-011x-pos,
• int-mult/zero-gr is used by shiftright-neg-div, band-max,
• int-mult/zero-le is used by shiftright-rec-8-neg, shiftright-neg-div,
• int-mult/zero-ls is used by shiftright-rec-8-neg, shiftright-neg-div, intshiftrsign-2pot-neg-01, intshiftrsign-2pot-neg, bxor-flip-one-bit, bor-2pot-plus-01, band-min,
• int-mult/zero-ls-01 is used by cast-mult-neg,
• int-mult/zero-ls-02 is used by cast-mult-pos,
• int-mult/zero-neq-01 is used by shiftright-neg-div,

Used from specification int-pot

• int-pot/Pot-pos is used by shiftzero-max-neg, shiftright-neg-div, intshiftrzero-prop-01, intshiftrsign-2pot-neg-01,
• int-pot/div2-2pot-01 is used by shiftright-pos-div, intshiftrsign-2pot-pos,
• int-pot/eq-two is used by bor-2pot-plus,
• int-pot/ls-pos-2pot is used by bxor-flip-one-bit,
• int-pot/pot-dist-pos is used by shiftright-shift, shiftright-rec-8, bor-2pot-plus-01,
• int-pot/pot-sub-dist is used by shiftzero-max-neg-01,
• int-pot/succ is used by bxor-flip-one-bit, band-min, and-011x-neg,
• int-pot/two-zero is used by shiftright-neg-div, intshiftrsign-2pot-neg-01, intshiftrsign-2pot-neg,
• int-pot/twopot-mone-div is used by shiftzero-max-neg-01,
• int-pot/zero is used by intshiftrsign-2pot-neg,
• int-pot/2pot-leone is used by cast-size-fits, cast-mod-neg-low, cast-mod-neg-high, cast-min,
• int-pot/abs-2pot is used by intshiftrsign-abs-le, bor-2pot-plus-01,
• int-pot/div2-2pot-04 is used by intshiftrsign-2pot-neg,
• int-pot/eq-one is used by intshiftrsign-abs-le,
• int-pot/eq-two is used by bor-2pot-plus, band-011x-is-unsigned-03, band-011x-eq,
• int-pot/grz is used by bor-2pot-plus-01, band-011x-pos, and-011x-neg,
• int-pot/le-same is used by cast-add-2pot-h,
• int-pot/ls-pos-2pot is used by band-011x-is-unsigned,
• int-pot/ls-pos-2pot-01 is used by shiftzero-max-neg-01, shiftzero-max-neg, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-low, cast-mod-neg-high, bxor-flip-one-bit, band-min-02, band-011x-is-unsigned-01,
• int-pot/ls-same is used by cast-add-2pot-h,
• int-pot/mod-2pot is used by intshiftrsign-2pot-neg,
• int-pot/mod-add1-negneg is used by cast-mult-neg,
• int-pot/mod-add1-pospos is used by cast-mult-pos,
• int-pot/mod-lesame is used by cast-mod-pos-high,
• int-pot/mod-lez is used by cast-mod-pos-low, cast-mod-pos-high, cast-law-mult-pos,
• int-pot/mod-lsz is used by cast-mult-add, cast-mod-pos-high,
• int-pot/mod-ngez-01 is used by cast-mult-add, cast-law-neg, cast-law-mult-one, cast-law-add-one,
• int-pot/pot2-ls-pred is used by cast-mod-pos-low, cast-mod-pos-high, cast-law-mult-pos, cast-law-add-pos-01, cast-law-add-pos, cast-add-2pot-h,
• int-pot/pot2-pos is used by shiftzero-max-neg-01, shiftzero-max-neg, shiftright-rec-8, shiftright-not-neg, shiftright-neg-mone, shiftright-neg-div-02, shiftright-neg-div-01, shiftright-neg-div, intshiftrsign-abs-le, intshiftrsign-2pot-neg-02, intshiftrsign-2pot-neg-01, intshiftright-ls-02, cast-zero, cast-size-fits-01, cast-size-fits, cast-mult-neg, cast-mult-add-h, cast-mult-add, cast-mult-2pot, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-low, cast-mod-neg-high, cast-mod-ls-pos, cast-law-neg-pos, cast-law-neg, cast-law-mult-pos, cast-law-mult-one, cast-law-add-pos-01, cast-law-add-pos, cast-law-add-one, cast-add-2pot-h, bxor-flip-one-bit, band-min, band-011x-pos-02, band-011x-pos-01, band-011x-neg-02, band-011x-neg-01, band-011x-is-unsigned-fix-01, band-011x-is-unsigned-fix, band-011x-is-unsigned-03, band-011x-is-unsigned, band-011x-eq,
• int-pot/pot2-pos-01 is used by cast-size-fits, cast-mod-pos-low, cast-mod-pos-high, cast-mod-ls-neg, cast-law-mult-pos, bxor-flip-one-bit, band-011x-is-unsigned-fix, band-011x-is-unsigned-03, band-011x-is-unsigned-01,
• int-pot/pot2-subls is used by cast-add-2pot-h,
• int-pot/pred-le is used by cast-mod-neg-low, cast-mod-neg-high,
• int-pot/succ is used by bxor-flip-one-bit, band-011x-pos, band-011x-is-unsigned-03,
• int-pot/two-le is used by band-011x-is-unsigned,
• int-pot/two-leone is used by band-011x-pos,
• int-pot/two-lez is used by cast-size-fits,
• int-pot/two-lez-01 is used by shiftright-not-neg, shiftright-neg-div, cast-mod-pos-low, cast-mod-pos-high, cast-max, cast-add-2pot-h, band-min,
• int-pot/two-lsz is used by shiftright-neg-div-02, shiftright-neg-div-01, shiftright-neg-div, intshiftrsign-abs-le, intshiftrsign-2pot-neg-01, cast-zero, cast-size-fits, cast-mult-pos, cast-mult-2pot, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-low, cast-mod-neg-high, cast-if, cast-add-2pot-h, bxor-flip-one-bit, band-min-02, band-min-01, band-min,
• int-pot/two-minus is used by intshiftleft-is-mult-01, band-011x-pos-02, band-011x-pos-01, band-011x-neg-02, band-011x-neg-01, band-011x-is-unsigned-fix-01, band-011x-is-unsigned-03, band-011x-is-unsigned-01, band-011x-eq,
• int-pot/two-zero is used by shiftright-shift, shiftright-pos-div, intshiftright-ls-02, cast-mod-pos-high, cast-add-2pot-h, band-011x-pos, band-011x-neg, band-011x-is-unsigned-fix, band-011x-eq,
• int-pot/two-zero-01 is used by and-011x-neg,
• int-pot/zero is used by intshiftrsign-abs-le, intshiftrsign-2pot-neg, intshiftright-ls-02, cast-mult-add, cast-mult-2pot, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-low, cast-mod-neg-high, cast-law-neg, cast-law-mult-pos, cast-law-mult-one, cast-law-add-one, cast-add-2pot-h, band-011x-pos,
• int-pot/zero-02 is used by intshiftleft-is-mult-01,

Used from specification nat

• nat/elim-pred-c is used by cast-mod-neg-low, cast-mod-neg-high,
• nat/prop-01 is used by cast-help-comm,
• nat/shift is used by shiftzero-pos,
• nat/sub-same is used by shiftzero-pos,
• nat/zero-02 is used by intshiftrzero-prop-01,
• nat/add-01 is used by shiftzero-rec-neg-shorter, shiftzero-rec-neg-longer, shiftzero-by-one-01, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-low, cast-mod-neg-high, bxor-flip-one-bit, bor-2pot-plus-01, bitsand-cast, band-011x-pos-02, band-011x-pos-01, band-011x-pos, band-011x-neg-02, band-011x-neg-01, band-011x-is-unsigned-fix-01, band-011x-is-unsigned-fix, band-011x-is-unsigned-03, band-011x-is-unsigned-01, band-011x-eq, and-size-one,
• nat/add-num-01 is used by bxor-flip-one-bit,
• nat/add-num-03 is used by or-two-02, or-two-01, bxor-flip-one-bit, bitsor-mklist-in, bitsand-onein, bitsand-first-samesize, bitsand-cast, bitsand-app-zeros-01, bitsand-app-zeros, bitsand-app-true, bitsand-app-ones, bitsand-app-false, and-rec-08, and-rec-07,
• nat/add-num-04 is used by cast-law-shift-snd-l,
• nat/anti is used by bitsand-cast-05, bitsand-cast, band-011x-is-unsigned-fix,
• nat/cancel-01 is used by bxor-flip-one-bit, bitsand-cast,
• nat/elim-pred-c is used by shiftzero-rec-neg-shorter, shiftzero-rec-neg-longer, shiftzero-max-neg-01, shiftzero-max-neg, shiftzero-by-one, shiftright-rec-pos, intshiftrsign-rec-pos, intshiftright-ls-01, cast-law-shift-snd-l, cast-band, bitsor-mklist-in, bitsand-fillsgn, bitsand-cast, band-011x-is-unsigned-fix, band-011x-is-unsigned-03,
• nat/elim-sub is used by shiftzero-pos, intshiftrsign32, intshiftrsign-if, cast-help-comm, bor-2pot-plus-01, bitsand-fillsgn, bitsand-cast-05, bitsand-cast-04, bitsand-cast, add-ones-grlen,
• nat/eq is used by bor-2pot-plus-01, bor-2pot-plus, bitsand-cast-05, bitsand-cast-04, band-011x-is-lastn,
• nat/eq-01 is used by bitsand-fillsgn, bitsand-cast,
• nat/eq-02 is used by shiftzero-pos, cast-mod-ls-pos, cast-mod-ls-neg, cast-mod-ls-most, cast-help-comm, bitsand-cast,
• nat/eqle-one is used by intshiftrsign-rec-pos, cast-mod-neg-low, cast-mod-neg-high, bitsand-cast-05, bitsand-cast-04, band-011x-is-lastn,
• nat/fle is used by shiftzero-rec-neg-longer, shiftzero-pos, intshiftrsign32, intshiftrsign-if, cast-mod-pos-low, cast-min, cast-max, cast-help-comm, bxor-bitlength, bor-bitlength, bitsand-fillsgn, bitsand-cast-05, bitsand-cast-04, bitsand-cast-01, bitsand-cast, bitsand-app-zeros, band-min-02, band-bitlength, and-size-one, add-ones-lelen-01, add-ones-lelen, add-ones-grlen-02, add-ones-grlen-01, add-ones-grlen,
• nat/fle-01 is used by shiftzero-pos, intshiftrsign-if, bitsand-cast, band-min-01, band-bitlength, and-size-one, add-ones-lelen-01, add-ones-lelen, add-ones-grlen-01, add-ones-grlen,
• nat/l-num-02 is used by bitsand-zeros-01, bitsand-cast,
• nat/l-num-04 is used by cast-law-shift-snd-l,
• nat/le is used by bitsand-cast, band-011x-is-unsigned-fix, band-011x-is-unsigned-03,
• nat/le-add is used by shiftzero-rec-neg-shorter, shiftzero-max-neg-01, shiftzero-max-neg, bxor-flip-one-bit, band-011x-is-unsigned-01,
• nat/le-ls-simp is used by shiftzero-pos, shiftzero-max-neg-01, shiftzero-max-neg, intshiftrsign32, cast-mod-ls-pos, cast-mod-ls-neg, cast-help-comm, bxor-bitlength, bor-bitlength, bitsxor-zeros-01, bitsand-cast-01, bitsand-cast, band-min-02, band-min-01, band-bitlength,
• nat/le-num-01 is used by bitsand-zeros,
• nat/le-num-02 is used by bxor-flip-one-bit, band-011x-is-unsigned-fix, band-011x-is-unsigned-03, band-011x-is-unsigned-01,
• nat/le-num-03 is used by shiftright-rec-pos,
• nat/le-num-04 is used by band-011x-is-unsigned-01,
• nat/le-one is used by shiftzero-max-neg,
• nat/le-sum is used by shiftzero-rec-neg-shorter,
• nat/lels is used by shiftzero-rec-neg-shorter, shiftzero-rec-neg-longer, shiftzero-max-neg-01, shiftzero-max-neg, intshiftrsign-rec-pos, intshiftrsign-if, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-low, cast-mod-neg-high, bxor-flip-one-bit, bxor-bitlength, bor-bitlength, bitsand-zeros-02, bitsand-len-true, bitsand-len-false, bitsand-fillsgn, bitsand-cast-05, bitsand-cast-04, bitsand-cast-01, bitsand-cast, bitsand-app-zeros, band-min-02, band-min-01, band-bitlength, band-011x-is-unsigned-fix, band-011x-is-lastn, and-size-one, and-notone-01, and-first, add-ones-lelen, add-ones-grlen,
• nat/lels-01 is used by shiftzero-rec-neg-shorter, shiftzero-rec-neg-longer, shiftzero-pos, shiftzero-max-neg-01, shiftzero-max-neg, shiftright-zero, shiftright-rec-pos, shiftright-neg-mone, longshiftzero-zero, intshiftrzero-prop-01, intshiftrsign32, intshiftrsign-rec-pos, intshiftrsign-rec-neg, intshiftrsign-if, cast-one, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-low, cast-mod-neg-high, cast-mod-ls-pos, cast-mod-ls-neg, cast-mod-ls-most, cast-min, cast-max, cast-length, cast-law-shift-snd-l, cast-help-comm, cast-band, bxor-flip-one-bit, bor-2pot-plus-01, bor-2pot-plus, bitsxor-zeros-01, bitsxor-append-same-size, bitsor-zeroes-samelen, bitsor-sgn-in, bitsor-ones-samelen, bitsor-bi-zeroes, bitsor-bi-ones, bitsand-zeros-02, bitsand-zeros, bitsand-fillsgn, bitsand-cast-05, bitsand-cast-04, bitsand-cast-01, bitsand-cast, bitsand-app-zeros, bitsand-app-ones, bcompl-size, band-min-02, band-min-01, band-bitlength, band-011x-is-unsigned-fix, band-011x-is-unsigned-03, band-011x-is-unsigned, band-011x-is-lastn, and-size-one, and-ones, and-notone-01, and-first, and-com, add-ones-lelen-01, add-ones-lelen, add-ones-grlen-02, add-ones-grlen-01,
• nat/lels-02 is used by shiftzero-pos, shiftzero-max-neg-01, cast-help-comm, bor-2pot-plus-01, bitsand-zeros, bitsand-cast-05, bitsand-cast-04, bitsand-cast-01, bitsand-cast, band-011x-is-lastn,
• nat/lels-03 is used by shiftzero-pos, intshiftrsign32, intshiftrsign-if, cast-help-comm, bitsand-fillsgn, bitsand-cast-05, bitsand-cast-04, bitsand-cast, band-min-02, band-min-01, band-bitlength, band-011x-is-lastn,
• nat/lep is used by intshiftrzero-prop-01, intshiftrsign32, intshiftrsign-rec-pos, intshiftrsign-rec-neg, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-low, cast-mod-neg-high, bitsor-zeroes-false, bitsor-ones-true, bitsand-zeros, bitsand-cast-05, bitsand-cast-04, bitsand-cast-01, bitsand-cast, band-011x-is-lastn,
• nat/lep-01 is used by intshiftrsign-rec-pos, bitsand-fillsgn,
• nat/lep-02 is used by intshiftrsign32, intshiftrsign-rec-pos, bitsxor-zeros, bitsor-zeroes-false, bitsor-ones-true, bitsand-cast-05, bitsand-cast-04, bitsand-cast, bitsand-app-zeros, bitsand-app-ones, and-size-one, add-ones-lelen, add-ones-grlen,
• nat/leprf is used by band-min-02, and-notone-01, and-first,
• nat/ler is used by shiftzero-pos, cast-mod-neg-low, cast-mod-neg-high, bxor-flip-one-bit, bitsand-fillsgn, bitsand-cast-05, bitsand-cast-04, bitsand-cast-01, bitsand-cast, band-011x-is-lastn,
• nat/les is used by cast-mod-neg-high,
• nat/let is used by shiftzero-rec-neg-shorter, shiftzero-max-neg-01, intshiftrsign32, cast-mod-pos-low, bor-bitlength, bitsand-cast-05, bitsand-cast-04, bitsand-cast-01, bitsand-cast, band-min-02, band-011x-is-lastn,
• nat/lez is used by and-size-one, add-ones-lelen, add-ones-grlen,
• nat/lez-01 is used by shiftzero-rec-neg-shorter, bitsand-cast, and-size-one, add-ones-lelen-01, add-ones-lelen, add-ones-grlen-02, add-ones-grlen-01, add-ones-grlen,
• nat/ls is used by cast-law-shift-snd-l,
• nat/ls-01 is used by shiftzero-max-neg-01, shiftzero-max-neg, cast-mod-neg-low, cast-mod-neg-high, bxor-flip-one-bit, bor-2pot-plus-01, bitsxor-append-same-size, bitsand-app-zeros, and-size-one, and-ones, and-notone-01, and-first, and-com, add-ones-grlen-02,
• nat/ls-02 is used by shiftzero-rec-neg-shorter, shiftzero-max-neg-01, shiftzero-max-neg, bor-2pot-plus-01, band-011x-is-unsigned-01,
• nat/ls-03 is used by shiftzero-pos, cast-help-comm, cast-band, bitsand-cast-05, band-min-02, and-size-one, add-ones-grlen-02,
• nat/ls-le-simp is used by shiftzero-max-neg-01, intshiftrsign32, bitsand-zeros-02, bitsand-zeros, bitsand-fillsgn, bitsand-cast-04, bitsand-cast-01, bitsand-cast,
• nat/not-zero is used by shiftzero-max-neg-01, shiftzero-max-neg, cast-mod-neg-low, cast-mod-neg-high, bitsxor-zeros, bitsor-zeroes-false, bitsor-ones-true, bitsand-zeros,
• nat/pred-03 is used by shiftzero-rec-neg-shorter, shiftzero-rec-neg-longer, shiftzero-max-neg-01, shiftzero-max-neg, shiftzero-by-one-01, shiftzero-by-one, shiftright-rec-pos, shiftright-rec-neg, intshiftrsign-rec-pos, intshiftrsign-rec-neg, intshiftright-ls-01, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-low, cast-mod-neg-high, cast-mod-ls-most, cast-min, cast-max, cast-law-shift-snd-l, cast-band, bor-2pot-plus-01, bitsand-fillsgn, bitsand-cast-05, bitsand-cast, band-011x-is-unsigned-fix-01,
• nat/prop-07 is used by cast-help-comm, bitsand-cast,
• nat/sub-add is used by shiftzero-rec-neg-shorter,
• nat/sub-base is used by bitsand-cast,
• nat/sub-ls is used by shiftzero-max-neg-01, cast-mod-ls-most, cast-min, cast-max, cast-help-comm, band-min-02, add-ones-grlen-02,
• nat/succ-01 is used by shiftzero-rec-neg-shorter, shiftzero-max-neg-01, shiftzero-max-neg, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-low, cast-mod-neg-high, bor-2pot-plus-01, bitsand-len-true, bitsand-len-false, bitsand-cast-05, bitsand-cast-04, bitsand-cast-01, bitsand-app-true, bitsand-app-false, band-011x-is-unsigned-fix, band-011x-is-unsigned-03, band-011x-is-lastn, and-size-one, add-ones-lelen, add-ones-grlen-02, add-ones-grlen,
• nat/zero is used by shiftzero-pos, cast-help-comm, bor-2pot-plus-01,
• nat/zero-01 is used by shiftzero-pos, cast-help-comm,
• nat/zero-02 is used by shiftzero-pos, intshiftrzero-prop-01, cast-help-comm, bor-2pot-plus-01,

Used from specification int-abs

• int-abs/Abs-neg is used by shiftright-rec-8-neg, intshiftrsign-abs-le, intshiftrsign-2pot-neg-01, band-mod256-neg, band-011x-neg-03, band-011x-is-unsigned-03,
• int-abs/Abs-pos is used by shiftright-shift, shiftright-neg-div, intshiftleft-is-mult-01, band-011x-is-unsigned-fix,
• int-abs/forward-lele is used by divide-by-10,
• int-abs/forward-lels is used by longshiftzero-carry-01, band-mod256-neg,
• int-abs/minus-01 is used by cast-law-compl,
• int-abs/minus-rew is used by cast-law-compl,
• int-abs/mone-07 is used by cast-mod-neg-low, cast-mod-neg-high,
• int-abs/num-eq-shift is used by band-min,
• int-abs/numls-03 is used by band-min,
• int-abs/zero-eq is used by shiftright-shift,
• int-abs/zero-ge-01 is used by cast-mult-neg, band-min,
• int-abs/zero-gels-02 is used by shiftright-neg-div, intshiftrsign-abs-le,
• int-abs/zero-gs is used by divide-by-10, cast-size-fits, band-32-not-neg,
• int-abs/Abs-pos is used by shiftright-rec-8-neg, intshiftrsign-abs-le, intshiftrsign-2pot-neg-01, band-mod256-neg, band-min, band-011x-neg-03, band-011x-is-unsigned-03,
• int-abs/Sub-def is used by shiftzero-max-neg-01, shiftright-rec-8-neg, shiftright-pos-div, shiftright-neg-div, intshiftrsign-abs-le, intshiftrsign-2pot-pos, intshiftrsign-2pot-neg-02, intshiftrsign-2pot-neg-01, intshiftright-ls-02, intshiftleft-is-mult-01, intshiftleft-is-mult, cast-sub-2pot, cast-mult-pos, cast-mult-add-h-01, cast-mod-pos-high, cast-mod-neg-low, cast-mod-neg-high, cast-law-sub-one-01, cast-law-sub-one, cast-law-add-pos-01, cast-if, bor-2pot-plus-01, band-011x-pos-02, band-011x-neg-03, band-011x-neg-02, band-011x-neg-01, band-011x-is-unsigned, band-011x-eq, and-011x-neg,
• int-abs/abs is used by shiftzero-max-neg-01, shiftzero-max-neg, cast-help-comm, band-max,
• int-abs/abs-01 is used by shiftright-neg-div,
• int-abs/abs-03 is used by shiftright-rec-8-neg, shiftright-pos-div-01, shiftright-not-neg, shiftright-neg-div-02, shiftright-neg-div-01,
• int-abs/abs-04 is used by intshiftrsign-rec-pos,
• int-abs/abs-05 is used by intshiftrsign-2pot-neg-02, band-min, band-011x-is-unsigned,
• int-abs/abs-06 is used by shiftright-rec-pos-01, shiftright-rec-neg, shiftright-rec-8-neg, shiftright-neg-mone, shiftright-neg-div, band-min, band-011x-neg-03, band-011x-is-unsigned-fix, band-011x-is-unsigned-03,
• int-abs/abs-07 is used by shiftright-neg-div,
• int-abs/abs-08 is used by shiftright-shift, shiftright-rec-8-neg, shiftright-neg-div, shiftright-is-le, intshiftrsign-abs-le, intshiftrsign-2pot-neg-02, intshiftleft-is-mult-01, cast-mult-add-h-01, cast-mult-add, cast-mod-neg-low, cast-mod-neg-high, cast-mod-ls-neg, cast-mod-ls, cast-mod-in, cast-law-neg, cast-law-mult-one, cast-law-add-one, cast-add-2pot-h, bor-2pot-plus-01, band-min, band-011x-neg, band-011x-is-unsigned-fix, band-011x-is-unsigned,
• int-abs/abs-09 is used by intshiftrsign-rec-neg,
• int-abs/abs-10 is used by shiftright-neg-div,
• int-abs/abs-12 is used by shiftright-rec-8,
• int-abs/abs-16 is used by shiftright-shift, shiftright-rec-8-neg, intshiftrsign-rec-neg, cast-mod-pos-high, cast-mod-neg-high, cast-length, cast-law-absorption, cast-help-comm, band-011x-pos, band-011x-is-lastn,
• int-abs/abs-zero is used by shiftright-neg-div,
• int-abs/absle is used by shiftright-rec-8, shiftright-pos-div, shiftright-not-ls-01, shiftright-is-le, intshiftrsign-rec-pos, intshiftrsign-abs-le, intshiftright-ls-01, intshiftleft-is-mult-01, cast-mod-pos-low, cast-mod-pos-high, bxor-flip-one-bit, band-011x-pos-02, band-011x-pos-01, band-011x-neg-02, band-011x-neg-01, band-011x-is-unsigned-fix, band-011x-is-unsigned-03, band-011x-is-unsigned, band-011x-eq,
• int-abs/absls is used by shiftright-not-neg,
• int-abs/absls-01 is used by shiftright-is-le, cast-mod-ls,
• int-abs/absls-06 is used by cast-mod-in,
• int-abs/abssub-02 is used by shiftright-rec-8-neg,
• int-abs/anti is used by shiftright-rec-8-neg, shiftright-pos-div, shiftright-neg-div, shiftright-is-le, longshiftzero-carry-01, intshiftrsign-rec-neg, intshiftrsign-2pot-neg-01, cast-size-fits-01, cast-mult-add-h-01, cast-mult-add-h, cast-mult-add, cast-mod-pos-low, cast-mod-pos-high, cast-mod-ls-pos, cast-mod-in, cast-law-neg, cast-law-mult-pos, cast-law-mult-one, cast-law-comm, cast-law-add-pos, cast-law-add-one, cast-add-2pot-h, bxor-flip-one-bit, bor-2pot-plus-01, bor-2pot-plus, band-min, band-max, band-011x-pos, band-011x-is-unsigned-fix-01,
• int-abs/bet is used by shiftzero-max-neg-01, shiftzero-max-neg, shiftright-rec-8-neg, longshiftzero-carry-01, intshiftrsign-rec-neg, intshiftrsign-2pot-pos, intshiftrsign-2pot-neg-01, intshiftrsign-2pot-neg, cast-mod-ls-most, band-max, band-011x-neg-03,
• int-abs/bet-01 is used by shiftright-rec-pos, intshiftrsign-rec-pos, cast-mult-add-h, cast-mod-pos-high, cast-add-2pot-h, bor-2pot-plus-01, bor-2pot-plus, band-max, band-011x-is-unsigned,
• int-abs/elim-sub is used by shiftzero-max-neg, shiftright-rec-pos, shiftright-rec-8, rightshift-zero, intshiftrsign-rec-pos, cast-size-fits, cast-mult-add-h, cast-law-add-pos, bxor-flip-one-bit, band-min, band-max, band-011x-pos,
• int-abs/forward-le is used by shiftzero-max-neg-01, shiftright-rec-8-neg, shiftright-rec-8, shiftright-not-le, longshiftzero-carry-01, divide-by-10, cast-law-shift-snd-zr, cast-law-shift-snd-r, cast-law-shift-snd-l, cast-law-comm, cast-law-absorption, band-max-04, band-max, band-011x-neg-03, band-011x-is-unsigned-01,
• int-abs/forward-le-01 is used by shiftzero-pos, shiftzero-max-neg, shiftright-shift, shiftright-rec-pos-01, shiftright-rec-pos, shiftright-rec-8-neg, shiftright-rec-8, shiftright-pos-div-01, shiftright-pos-div, shiftright-not-pos-01, shiftright-not-neg, shiftright-not-ls-01, shiftright-not-le, shiftright-neg-mone, shiftright-neg-div-02, shiftright-neg-div-01, shiftright-neg-div, shiftright-is-le, longshiftzero-zero-03, longshiftzero-pos, longshiftzero-not-neg, longshiftzero-def-pos, longshiftzero-carry-01, longshiftzero-carry, longshiftright-2pot-pos, intshiftrsign32, intshiftrsign-rec-pos, intshiftrsign-rec-neg, intshiftrsign-pos-8, intshiftrsign-if, intshiftrsign-abs-le, intshiftrsign-2pot-pos, intshiftrsign-2pot-neg-02, intshiftrsign-2pot-neg-01, intshiftright-unbounded-same, intshiftright-ls-02, intshiftright-ls-01, intshiftleft-is-mult-01, intshiftleft-is-mult, divide-by-10, cast-size-fits-01, cast-size-fits, cast-nls, cast-mult-pos, cast-mult-neg, cast-mult-add-h-01, cast-mult-add-h, cast-mult-add, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-low, cast-mod-neg-high, cast-mod-ls-pos, cast-mod-in, cast-min, cast-law-shift-snd-zr, cast-law-shift-snd-r, cast-law-shift-snd-l, cast-law-neg-pos, cast-law-neg, cast-law-mult-pos, cast-law-mult-one, cast-law-add-pos-01, cast-law-add-pos, cast-law-add-one, cast-if, cast-help-comm, cast-band, cast-add-2pot-h, bxor-flip-one-bit, band-one-is-mod2, band-notneg-01, band-neg, band-min-02, band-min-01, band-min, band-max-05, band-max-04, band-max-03, band-max, band-63-pos-01, band-63-pos, band-31-pos-01, band-31-pos, band-011x-pos-02, band-011x-pos-01, band-011x-neg-04, band-011x-neg-03, band-011x-neg-02, band-011x-neg-01, band-011x-is-unsigned-fix-01, band-011x-is-unsigned, band-011x-eq-01, band-011x-eq,
• int-abs/forward-le-02 is used by shiftzero-zero-size-01, shiftzero-zero-size, shiftzero-zero, shiftzero-not-neg, shiftzero-max-neg-01, shiftzero-max-neg, shiftright-shift, shiftright-rec-neg, shiftright-rec-8-neg, shiftright-not-pos-01, shiftright-not-pos, shiftright-not-neg, shiftright-neg-mone, shiftright-neg-div-02, shiftright-neg-div-01, shiftright-neg-div, shiftright-is-le, longshiftzero-not-neg-01, longshiftzero-not-neg, longshiftzero-carry-01, longshiftzero-carry, intshiftrzero-prop-01, intshiftrsign-rec-neg, intshiftrsign-if, intshiftrsign-abs-le, intshiftrsign-2pot-neg-02, intshiftrsign-2pot-neg-01, intshiftrsign-2pot-neg, intshiftright-ls-02, intshiftright-ls-01, intshiftleft-is-mult-01, intshiftleft-is-mult, divide-by-10, cast-size-fits, cast-mult-pos, cast-mult-neg, cast-mult-add-h-01, cast-mult-add-h, cast-mult-add, cast-mult-2pot, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-low, cast-mod-neg-high, cast-mod-ls-neg, cast-mod-ls, cast-min, cast-law-neg, cast-law-mult-one, cast-law-add-pos-01, cast-law-add-one, cast-if, cast-help-comm, cast-add-2pot-h, band-notneg-01, band-neg, band-min-02, band-min-01, band-min, band-max-04, band-max, band-bitlength, band-32-not-neg, band-011x-neg-02, band-011x-neg-01, band-011x-is-unsigned-fix, band-011x-is-unsigned-03, band-011x-is-unsigned, band-011x-eq,
• int-abs/forward-le-03 is used by divide-by-10, band-min,
• int-abs/forward-le-04 is used by shiftright-rec-8-neg, shiftright-not-neg, shiftright-neg-div, intshiftrsign-2pot-neg-02, intshiftrsign-2pot-neg-01, divide-by-10, cast-size-fits-01, cast-size-fits, cast-nls, cast-mult-add-h-01, cast-mult-add-h, cast-mult-add, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-low, cast-mod-neg-high, cast-mod-in, cast-max, cast-law-neg, cast-law-mult-one, cast-law-add-one, cast-add-2pot-h, band-min-02, band-min-01, band-min, band-011x-neg-03,
• int-abs/forward-le-05 is used by shiftzero-rec-neg-shorter, shiftzero-rec-neg-longer, shiftzero-max-neg-01, shiftzero-max-neg, shiftright-shift, shiftright-rec-pos, shiftright-rec-8-neg, shiftright-pos-div, shiftright-not-pos, shiftright-not-le, shiftright-neg-div, shiftright-is-le, longshiftzero-carry-01, longshiftright-2pot-pos, intshiftrzero-prop-01, intshiftrsign-rec-pos, intshiftrsign-rec-neg, intshiftrsign-abs-le, intshiftrsign-2pot-pos, intshiftrsign-2pot-neg-02, intshiftrsign-2pot-neg-01, intshiftrsign-2pot-neg, intshiftright-unbounded-same, intshiftright-ls-02, intshiftright-ls-01, intshiftleft-is-mult-01, intshiftleft-is-mult, cast-zero, cast-sub-2pot, cast-size-fits-01, cast-size-fits, cast-nls-01, cast-nls, cast-neg-add-01, cast-mult-pos, cast-mult-neg-02, cast-mult-neg-01, cast-mult-neg, cast-mult-add-h-01, cast-mult-add-h, cast-mult-add, cast-mult-2pot, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-low, cast-mod-neg-high, cast-mod-ls-pos, cast-mod-ls-neg, cast-mod-ls-most, cast-mod-ls, cast-mod-in, cast-min, cast-max, cast-length, cast-law-xor-one, cast-law-shift-snd-l, cast-law-or-one, cast-law-neg-pos, cast-law-neg, cast-law-mult-pos, cast-law-mult-one, cast-law-compl, cast-law-comm, cast-law-and-one, cast-law-add-pos-01, cast-law-add-pos, cast-law-add-one, cast-law-absorption, cast-if, cast-help-comm, cast-cast, cast-add-2pot-h, cast-add-2pot, bxor-flip-one-bit, band-min-02, band-min, band-max-05, band-max-04, band-max, band-le-zero, band-63-pos-02, band-63-pos, band-63-lezero, band-31-pos-02, band-31-pos, band-011x-zero, band-011x-neg-03, band-011x-is-unsigned-fix, band-011x-is-unsigned-03, band-011x-is-unsigned-01, band-011x-is-unsigned, band-011x-is-lastn, band-011x-eq,
• int-abs/forward-lele is used by shiftright-rec-8-neg, shiftright-not-neg, shiftright-not-le, shiftright-neg-div, intshiftrsign-2pot-neg-02, cast-size-fits-01, cast-size-fits, cast-nls, cast-mult-add, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-low, cast-mod-neg-high, cast-max, cast-law-neg, cast-law-mult-one, cast-law-add-one, bor-2pot-plus-01, band-min-02, band-min-01, band-min, band-max, band-011x-neg-03, band-011x-is-unsigned,
• int-abs/forward-lels is used by shiftzero-max-neg-01, shiftzero-max-neg, shiftright-rec-8-neg, shiftright-not-ls-01, shiftright-is-le, longshiftzero-carry-01, intshiftrzero-prop-01, intshiftrsign-rec-pos, intshiftrsign-abs-le, intshiftrsign-2pot-neg-02, intshiftrsign-2pot-neg-01, cast-size-fits-01, cast-size-fits, cast-nls, cast-mult-add, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-low, cast-mod-neg-high, cast-min, cast-max, cast-law-shift-snd-l, cast-law-neg, cast-law-mult-pos, cast-law-mult-one, cast-law-add-pos-01, cast-law-add-pos, cast-law-add-one, cast-if, cast-add-2pot-h, bxor-flip-one-bit, bor-2pot-plus-01, bor-2pot-plus, band-min-02, band-min-01, band-min, band-max-03, band-max,
• int-abs/forward-lsle is used by shiftzero-max-neg-01, shiftright-shift, shiftright-rec-8-neg, shiftright-not-pos-01, shiftright-not-neg, shiftright-not-le, shiftright-neg-mone, shiftright-neg-div-02, shiftright-neg-div-01, shiftright-neg-div, longshiftzero-not-neg, longshiftzero-carry-01, longshiftzero-carry, intshiftrsign-rec-neg, intshiftrsign-abs-le, intshiftrsign-2pot-neg-02, intshiftright-ls-02, intshiftright-ls-01, intshiftleft-is-mult-01, divide-by-10, cast-size-fits, cast-nls-01, cast-mult-pos, cast-mult-neg, cast-mult-add-h-01, cast-mult-add-h, cast-mult-add, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-low, cast-mod-neg-high, cast-mod-ls, cast-mod-in, cast-min, cast-law-neg, cast-law-mult-one, cast-law-add-pos-01, cast-law-add-one, cast-if, cast-add-2pot-h, bor-2pot-plus-01, band-notneg-01, band-neg, band-min-02, band-min-01, band-min, band-max-05, band-max, band-011x-neg-03, band-011x-neg-02, band-011x-neg-01, band-011x-neg, band-011x-is-unsigned-01, band-011x-is-unsigned, band-011x-eq,
• int-abs/le-add is used by divide-by-10, cast-nls, cast-mod-neg-low, cast-mod-neg-high, band-min-02, band-min-01,
• int-abs/le-add-03 is used by intshiftrsign-abs-le,
• int-abs/lels is used by shiftzero-rec-neg-shorter, shiftzero-rec-neg-longer, shiftzero-pos, shiftzero-max-neg-01, shiftzero-max-neg, shiftzero-by-one-01, shiftzero-by-one, shiftright-shift, shiftright-rec-pos, shiftright-rec-neg, shiftright-rec-8-neg, shiftright-pos-div, shiftright-not-le, shiftright-neg-mone, shiftright-neg-div-02, shiftright-neg-div-01, shiftright-neg-div, shiftright-is-le, shiftright-abs, rightshift-zero, longshiftzero-carry-01, longshiftright-def-unbounded, intshiftrzero-prop-01, intshiftrsign32, intshiftrsign-zero-01, intshiftrsign-zero, intshiftrsign-rec-pos, intshiftrsign-rec-neg, intshiftrsign-pos-num, intshiftrsign-neg-02, intshiftrsign-neg-01, intshiftrsign-if, intshiftrsign-abs-le, intshiftrsign-2pot-pos, intshiftrsign-2pot-neg-02, intshiftrsign-2pot-neg-01, intshiftrsign-2pot-neg, intshiftright-unbounded-same, intshiftright-ls-02, intshiftright-ls-01, intshiftright-ls, intshiftright-def-unbounded, intshiftleft-is-mult-01, intshiftleft-is-mult, divide-by-10, cast-zero, cast-size-fits-01, cast-size-fits, cast-nls-01, cast-nls, cast-mult-pos, cast-mult-neg, cast-mult-add-h-01, cast-mult-add-h, cast-mult-add, cast-mult-2pot, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-low, cast-mod-neg-high, cast-mod-ls-pos, cast-mod-ls-neg, cast-mod-ls-most, cast-mod-ls, cast-mod-in, cast-min, cast-max, cast-law-shift-snd-r, cast-law-neg-pos, cast-law-neg, cast-law-mult-pos, cast-law-mult-one, cast-law-comm, cast-law-add-pos-01, cast-law-add-pos, cast-law-add-one, cast-if, cast-help-comm, cast-cast, cast-add-2pot-h, bxor-flip-one-bit, bor-shift-plus, bor-65536-plus, bor-2pot-plus-02, bor-2pot-plus-01, bor-2pot-plus, bor-256-plus-01, bor-256-plus, band-mod256-neg, band-min-02, band-min-01, band-min, band-max-04, band-max, band-65535-neg, band-255-neg, band-011x-pos, band-011x-neg-03, band-011x-neg, band-011x-is-unsigned-fix-01, band-011x-is-unsigned-fix, band-011x-is-unsigned-03, band-011x-is-unsigned-01, band-011x-is-unsigned, band-011x-is-lastn, band-011x-eq,
• int-abs/lels-01 is used by shiftzero-zero-size, shiftzero-zero, shiftzero-not-neg, shiftzero-max-neg-01, shiftzero-max-neg, shiftright-shift, shiftright-rec-pos-01, shiftright-rec-pos, shiftright-rec-neg, shiftright-rec-8-neg, shiftright-rec-8, shiftright-pos-div-01, shiftright-pos-div, shiftright-not-pos, shiftright-not-le, shiftright-neg-mone, shiftright-neg-div, shiftright-is-le, longshiftzero-zero-03, longshiftzero-not-neg-01, longshiftzero-carry-01, longshiftzero-carry, longshiftright-2pot-pos, intshiftrzero-prop-01, intshiftrsign32, intshiftrsign-zero-01, intshiftrsign-rec-pos, intshiftrsign-rec-neg, intshiftrsign-pos-num, intshiftrsign-pos-8, intshiftrsign-if, intshiftrsign-abs-le, intshiftrsign-2pot-pos, intshiftrsign-2pot-neg-02, intshiftrsign-2pot-neg-01, intshiftright-ls-02, intshiftright-ls-01, intshiftright-ls, intshiftleft-is-mult-01, intshiftleft-is-mult, divide-by-10, cast-zero, cast-size-fits-01, cast-size-fits, cast-mult-pos, cast-mult-neg, cast-mult-add-h-01, cast-mult-add, cast-mult-2pot, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-low, cast-mod-neg-high, cast-mod-ls-pos, cast-mod-ls-neg, cast-mod-ls-most, cast-mod-ls, cast-min, cast-length, cast-law-shift-snd-zr, cast-law-shift-snd-r, cast-law-shift-snd-l, cast-law-neg-pos, cast-law-neg, cast-law-mult-pos, cast-law-mult-one, cast-law-add-pos-01, cast-law-add-pos, cast-law-add-one, cast-law-absorption, cast-if, cast-help-comm, cast-cast, cast-add-2pot-h, bxor-flip-one-bit, bor-shift-plus, bor-65536-plus, bor-2pot-plus-02, bor-2pot-plus-01, bor-2pot-plus, bor-256-plus-01, bor-256-plus, band-one-is-mod2, band-mod256-neg, band-min-02, band-min-01, band-min, band-le-zero, band-65535-pos, band-63-pos-02, band-63-pos-01, band-63-pos, band-63-lezero, band-32-not-neg, band-31-pos-02, band-31-pos-01, band-31-pos, band-255-pos, band-011x-zero, band-011x-pos-02, band-011x-pos-01, band-011x-pos, band-011x-neg-04, band-011x-neg-03, band-011x-neg-02, band-011x-neg-01, band-011x-neg, band-011x-is-unsigned-fix-01, band-011x-is-unsigned-fix, band-011x-is-unsigned-03, band-011x-is-unsigned-01, band-011x-is-unsigned, band-011x-is-lastn, band-011x-eq-01, band-011x-eq, and-011x-neg,
• int-abs/lels-02 is used by shiftzero-rec-neg-shorter, shiftzero-rec-neg-longer, shiftzero-max-neg-01, shiftzero-max-neg, shiftright-shift, shiftright-rec-pos, shiftright-rec-8-neg, shiftright-not-le, shiftright-neg-div, intshiftrzero-prop-01, intshiftrsign-rec-pos, intshiftrsign-rec-neg, intshiftrsign-abs-le, intshiftrsign-2pot-neg-02, intshiftright-ls-01, intshiftleft-is-mult-01, intshiftleft-is-mult, cast-size-fits-01, cast-mult-add-h, cast-mult-add, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-low, cast-mod-neg-high, cast-law-mult-pos, cast-help-comm, bxor-flip-one-bit, bor-2pot-plus-01, bor-2pot-plus, band-min, band-max, band-le-zero, band-63-lezero, band-011x-zero, band-011x-pos, band-011x-is-unsigned-fix, band-011x-is-unsigned-03, band-011x-is-unsigned,
• int-abs/lels-03 is used by shiftzero-rec-neg-shorter, shiftzero-rec-neg-longer, shiftzero-not-neg, shiftzero-max-neg-01, shiftzero-max-neg, shiftzero-by-one-01, shiftzero-by-one, shiftright-shift, shiftright-rec-neg, shiftright-rec-8-neg, shiftright-not-ls-01, shiftright-not-ls, shiftright-neg-div-02, shiftright-neg-div-01, shiftright-is-le, longshiftzero-carry-01, intshiftrsign-rec-neg, intshiftrsign-pos-num, intshiftrsign-neg-02, intshiftrsign-neg-01, intshiftrsign-abs-le, intshiftrsign-2pot-pos, intshiftrsign-2pot-neg-02, intshiftrsign-2pot-neg-01, intshiftrsign-2pot-neg, intshiftright-ls-02, intshiftright-ls-01, intshiftleft-is-mult-01, cast-zero, cast-size-fits-01, cast-size-fits, cast-nls-01, cast-nls, cast-mult-pos, cast-mult-neg, cast-mult-add-h-01, cast-mult-add-h, cast-mult-add, cast-mult-2pot, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-low, cast-mod-neg-high, cast-mod-ls-pos, cast-mod-ls-neg, cast-mod-ls-most, cast-mod-ls, cast-mod-in, cast-min, cast-max, cast-law-neg-pos, cast-law-neg, cast-law-mult-pos, cast-law-mult-one, cast-law-comm, cast-law-add-pos-01, cast-law-add-pos, cast-law-add-one, cast-law-absorption, cast-if, cast-help-comm, cast-cast, cast-add-2pot-h, bor-shift-plus, bor-65536-plus, bor-2pot-plus-02, bor-2pot-plus-01, bor-256-plus-01, bor-256-plus, band-min-02, band-min-01, band-min, band-max, band-65535-neg, band-255-neg, band-011x-neg-03, band-011x-neg, band-011x-is-unsigned-fix, band-011x-is-unsigned-01, band-011x-is-unsigned, band-011x-is-lastn, band-011x-eq,
• int-abs/lels-04 is used by shiftzero-pos, shiftzero-max-neg-01, shiftzero-max-neg, shiftright-shift, shiftright-rec-pos-01, shiftright-rec-8-neg, shiftright-rec-8, shiftright-pos-div-01, shiftright-pos-div, shiftright-neg-mone, shiftright-neg-div, longshiftzero-zero-03, longshiftzero-carry-01, longshiftright-2pot-pos, intshiftrsign-pos-num, intshiftrsign-pos-8, intshiftrsign-if, intshiftrsign-abs-le, intshiftrsign-2pot-pos, intshiftright-ls-01, intshiftright-ls, intshiftleft-is-mult-01, intshiftleft-is-mult, divide-by-10, cast-size-fits-01, cast-size-fits, cast-mult-pos, cast-mult-neg, cast-mult-add, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-low, cast-mod-neg-high, cast-mod-ls-pos, cast-law-shift-snd-zr, cast-law-shift-snd-r, cast-law-neg-pos, cast-law-mult-pos, cast-law-add-pos-01, cast-law-add-pos, cast-law-absorption, cast-if, cast-help-comm, cast-band, cast-add-2pot-h, bxor-flip-one-bit, bor-shift-plus, bor-65536-plus, bor-2pot-plus-02, bor-2pot-plus-01, bor-2pot-plus, bor-256-plus-01, bor-256-plus, band-one-is-mod2, band-notneg-01, band-mod256-neg, band-min, band-65535-pos, band-63-pos-01, band-63-pos, band-31-pos-01, band-31-pos, band-255-pos, band-011x-pos-02, band-011x-pos, band-011x-neg-04, band-011x-neg-03, band-011x-neg, band-011x-is-unsigned-fix, band-011x-is-unsigned-03, band-011x-is-unsigned, band-011x-eq-01, band-011x-eq,
• int-abs/leone is used by shiftzero-max-neg-01, shiftzero-max-neg, shiftright-shift, shiftright-rec-8-neg, shiftright-pos-div, shiftright-neg-mone, shiftright-neg-div, intshiftrsign-zero-01, intshiftrsign-rec-neg, intshiftrsign-2pot-pos, intshiftrsign-2pot-neg-01, intshiftrsign-2pot-neg, cast-zero, cast-size-fits-01, cast-mult-add-h-01, cast-mult-2pot, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-low, cast-mod-neg-high, cast-mod-ls-pos, cast-mod-ls-most, cast-min, cast-max, cast-law-add-pos-01, cast-law-add-pos, bxor-flip-one-bit, band-min-02, band-max-04, band-011x-pos-02, band-011x-pos-01, band-011x-pos, band-011x-neg-03, band-011x-neg-02, band-011x-neg-01, band-011x-is-unsigned-fix-01, band-011x-is-unsigned-fix, band-011x-is-unsigned-01, band-011x-is-unsigned, band-011x-eq,
• int-abs/lep is used by shiftzero-max-neg-01, shiftzero-max-neg,
• int-abs/lep-01 is used by shiftright-not-neg, shiftright-neg-div, band-min, band-011x-is-unsigned,
• int-abs/ler is used by shiftzero-pos, cast-mod-neg-high, cast-min, cast-help-comm, bxor-flip-one-bit, band-max, band-011x-is-lastn,
• int-abs/lsone is used by shiftright-rec-8-neg, shiftright-neg-div, intshiftrsign-2pot-neg-01, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-low, cast-mod-neg-high, cast-mod-ls-pos, cast-mod-ls-neg, cast-min, cast-max, bor-2pot-plus-01, band-min, band-011x-pos, band-011x-neg-03,
• int-abs/minus-02 is used by shiftright-rec-8-neg,
• int-abs/minus-add is used by shiftzero-by-one-01, shiftright-rec-8-neg, shiftright-neg-mone, shiftright-neg-div, intshiftrsign-2pot-neg-01, intshiftright-ls-02, cast-size-fits-01, cast-size-fits, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-low, cast-mod-neg-high, cast-mod-ls-neg, cast-min, cast-law-compl, bxor-flip-one-bit, band-min, band-011x-is-unsigned,
• int-abs/minus-ass is used by shiftright-rec-8-neg, shiftright-neg-div, intshiftrzero-prop-01, intshiftrsign-2pot-neg-01,
• int-abs/minus-sub is used by shiftright-rec-8-neg, intshiftrsign-abs-le, intshiftrsign-2pot-neg-01, cast-law-sub-one-01, cast-law-neg-pos, band-011x-neg-03,
• int-abs/mone-05 is used by shiftzero-rec-neg-shorter, shiftzero-max-neg-01, shiftzero-max-neg, shiftzero-by-one-01, shiftright-shift, shiftright-rec-neg, shiftright-rec-8-neg, intshiftrsign-rec-neg, intshiftrsign-abs-le, intshiftrsign-2pot-neg-02, intshiftrsign-2pot-neg-01, intshiftrsign-2pot-neg, band-mod256-neg, band-min,
• int-abs/mone-06 is used by shiftzero-max-neg-01, shiftzero-max-neg, shiftright-rec-pos, shiftright-rec-8-neg, shiftright-neg-div, longshiftzero-carry-01, intshiftrsign-rec-pos, intshiftrsign-2pot-neg-01, cast-size-fits-01, cast-size-fits, cast-mult-add, cast-mod-neg-low, cast-mod-neg-high, cast-min, band-min, band-max, band-011x-pos, band-011x-neg-03, band-011x-is-unsigned,
• int-abs/mone-08 is used by shiftzero-max-neg-01, shiftzero-max-neg, shiftzero-by-one-01, shiftright-rec-neg, shiftright-rec-8-neg, shiftright-neg-mone, shiftright-neg-div, intshiftrzero-prop-01, intshiftrsign-abs-le, intshiftright-ls-02, cast-size-fits, cast-mult-add-h, cast-mod-neg-low, cast-mod-ls-neg, cast-min, band-min, band-max-04, band-011x-is-unsigned, band-011x-eq,
• int-abs/neg is used by shiftright-neg-div, bor-2pot-plus-01, band-min, band-011x-neg,
• int-abs/neg-01 is used by band-min,
• int-abs/neg-02 is used by intshiftleft-is-mult-01, intshiftleft-is-mult, bor-2pot-plus-01, bcompl-absorption, band-011x-neg-04, band-011x-neg, band-011x-is-unsigned-fix,
• int-abs/neg-03 is used by cast-mult-add-h, band-011x-neg-03, band-011x-is-unsigned-fix, band-011x-is-unsigned-03, band-011x-eq,
• int-abs/neg-05 is used by intshiftright-ls-02, intshiftright-ls-01, band-011x-neg-03, band-011x-is-unsigned-fix, band-011x-is-unsigned-03,
• int-abs/neg-06 is used by shiftright-rec-8-neg, shiftright-neg-div, intshiftrsign-abs-le, intshiftrsign-2pot-neg-01, intshiftright-ls-02, band-mod256-neg, band-011x-neg-03, band-011x-is-unsigned-03,
• int-abs/neg-07 is used by shiftright-neg-div-02, shiftright-neg-div-01, shiftright-neg-div, cast-mult-neg, cast-mod-neg-low, cast-mod-neg-high, cast-if, cast-add-2pot-h, band-min,
• int-abs/neg-10 is used by band-min, band-011x-is-unsigned-fix, band-011x-is-unsigned-03,
• int-abs/neg-11 is used by cast-mult-neg-02, cast-add-2pot-01,
• int-abs/neg-12 is used by cast-mult-neg-02, cast-add-2pot-01,
• int-abs/neg-13 is used by shiftright-rec-8-neg, shiftright-neg-div, shiftright-is-le, intshiftrsign-abs-le, intshiftrsign-2pot-neg-02, intshiftrsign-2pot-neg-01, cast-mult-add-h-01, cast-mult-add-h, cast-mult-add, cast-mod-neg-low, cast-mod-neg-high, cast-mod-ls-neg, cast-mod-ls, cast-law-neg, cast-law-mult-one, cast-law-add-one, cast-add-2pot-h, band-011x-is-unsigned,
• int-abs/neg-15 is used by shiftright-rec-8-neg, intshiftrsign-abs-le, intshiftrsign-2pot-neg-01, intshiftright-ls-02, compl-def, cast-sub-2pot, cast-neg-add-01, cast-mod-ls-most, cast-law-sub-one-01, cast-law-sub-one, cast-law-mult-pos, cast-law-add-pos-01, bitsxor-is-orand, band-min, band-011x-neg-03, band-011x-neg, band-011x-is-unsigned-fix, band-011x-is-unsigned-03,
• int-abs/negeq is used by shiftright-rec-8-neg, shiftright-neg-div, intshiftrsign-2pot-neg-01, compl-def, cast-mult-add-h, cast-mod-ls-most, cast-mod-in, bitsxor-is-orand, band-011x-pos, band-011x-neg-03, band-011x-is-unsigned-fix, band-011x-is-unsigned-03,
• int-abs/negle-07 is used by shiftright-rec-8-neg, shiftright-pos-div, shiftright-is-le, intshiftrsign-abs-le, cast-nls, cast-mod-neg-low, cast-mod-neg-high, cast-mod-in, band-mod256-neg, band-min-02, band-min-01, band-min, band-011x-neg-03,
• int-abs/negle-13 is used by shiftright-neg-mone, cast-zero, cast-size-fits-01, cast-size-fits, cast-nls, cast-mult-neg, cast-mult-2pot, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-low, cast-mod-neg-high, cast-mod-in, cast-min, cast-if, cast-add-2pot-h, band-011x-is-unsigned,
• int-abs/num-between is used by shiftright-rec-8-neg,
• int-abs/num-subadd is used by intshiftrzero-prop-01, intshiftrsign-2pot-neg-01,
• int-abs/numadd-01 is used by intshiftrsign-abs-le, intshiftleft-is-mult-01, compl-def, cast-mod-pos-high, cast-mod-neg-low, cast-mod-neg-high, cast-mod-ls-most, bxor-flip-one-bit, bitsxor-is-orand, bitsor-bi-sgn, band-min, band-max, band-011x-pos, band-011x-neg-03, band-011x-is-unsigned, and-011x-neg,
• int-abs/numle-02 is used by shiftzero-max-neg, shiftright-rec-8, longshiftzero-carry-01, intshiftrzero-prop-01, intshiftrsign-rec-pos, divide-by-10, cast-size-fits, cast-mod-neg-high, bxor-flip-one-bit, band-mod256-neg, band-min, band-max-04,
• int-abs/numle-03 is used by shiftzero-rec-neg-shorter, shiftzero-max-neg-01, shiftzero-max-neg, shiftzero-by-one-01, shiftright-shift, shiftright-rec-pos, shiftright-rec-neg, shiftright-rec-8-neg, intshiftrsign-rec-pos, intshiftrsign-rec-neg, intshiftrsign-abs-le, intshiftrsign-2pot-neg-02, intshiftrsign-2pot-neg-01, intshiftrsign-2pot-neg, divide-by-10, band-mod256-neg, band-min,
• int-abs/numleledel is used by intshiftrzero-prop-01, intshiftrsign32, intshiftrsign-2pot-neg-02, divide-by-10,
• int-abs/numleledel-01 is used by shiftzero-max-neg, shiftright-rec-8-neg, shiftright-rec-8, shiftright-pos-div, longshiftzero-carry-01, intshiftrzero-prop-01, intshiftrsign-rec-pos, intshiftrsign-2pot-pos, divide-by-10, cast-size-fits, bxor-flip-one-bit, band-max,
• int-abs/numlelsdel is used by shiftright-neg-div, longshiftzero-carry-01, intshiftrsign-rec-pos, intshiftrsign-rec-neg, intshiftrsign-2pot-pos, intshiftrsign-2pot-neg-02, intshiftrsign-2pot-neg-01, intshiftrsign-2pot-neg, intshiftright-ls-02, intshiftright-ls-01, intshiftleft-is-mult, cast-mod-neg-high, bor-shift-plus, bor-65536-plus, band-min, band-63-pos-02, band-31-pos-02,
• int-abs/numlelsdel-01 is used by shiftzero-max-neg-01, band-max,
• int-abs/numls-02 is used by shiftzero-max-neg-01, shiftzero-max-neg, shiftright-rec-pos, shiftright-rec-8-neg, shiftright-rec-8, shiftright-neg-div, longshiftzero-carry-01, intshiftrsign-rec-pos, intshiftrsign-2pot-neg-01, cast-size-fits, cast-mult-add, cast-mod-neg-low, bxor-flip-one-bit, band-min, band-max, band-011x-pos, band-011x-neg-03, band-011x-is-unsigned,
• int-abs/numls-03 is used by shiftright-rec-8-neg, shiftright-neg-div, rightshift-zero, intshiftrsign-rec-pos, intshiftrsign-abs-le, intshiftrsign-2pot-neg-01, intshiftright-ls-02, intshiftleft-is-mult-01, cast-mult-add-h, cast-mod-neg-low, cast-mod-neg-high, bor-2pot-plus-01, band-mod256-neg, band-min, band-max-04, band-max, band-011x-neg-03, band-011x-eq,
• int-abs/numlsf-01 is used by bor-2pot-plus-01, band-mod256-neg,
• int-abs/numlsledel is used by shiftright-rec-8-neg, intshiftrzero-prop-01, intshiftrsign-2pot-neg-01, divide-by-10, band-min, band-63-pos-01, band-31-pos-01,
• int-abs/numlsledel-01 is used by shiftright-rec-pos, shiftright-rec-8-neg, shiftright-rec-8, intshiftrsign-rec-pos, divide-by-10,
• int-abs/numsub is used by shiftzero-rec-neg-shorter, shiftzero-max-neg-01, shiftzero-max-neg, shiftzero-by-one-01, shiftright-shift, shiftright-rec-neg, shiftright-rec-8-neg, shiftright-neg-div, intshiftrsign-rec-neg, intshiftrsign-2pot-neg-01, intshiftrsign-2pot-neg, cast-size-fits, cast-mult-add-h, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-low, cast-mod-neg-high, bxor-flip-one-bit, bor-2pot-plus-01, bcompl-absorption, band-mod256-neg, band-min, band-65535-neg, band-255-neg, band-011x-neg-03,
• int-abs/sub-add-01 is used by shiftzero-rec-neg-shorter, shiftzero-max-neg-01, shiftzero-max-neg, shiftzero-by-one-01, shiftright-shift, shiftright-rec-neg, shiftright-rec-8-neg, shiftright-neg-div, intshiftrsign-rec-neg, intshiftrsign-abs-le, intshiftrsign-2pot-neg-01, intshiftrsign-2pot-neg, intshiftright-ls-02, cast-mult-add-h, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-low, cast-mod-neg-high, cast-law-add-pos-01, cast-law-add-pos, bxor-flip-one-bit, band-mod256-neg, band-min, band-011x-neg-03, band-011x-neg, band-011x-is-unsigned, band-011x-eq,
• int-abs/sub-add-05 is used by intshiftrsign-2pot-neg-01,
• int-abs/sub-add-06 is used by intshiftrsign-2pot-neg-01, band-011x-neg-03,
• int-abs/sub-add-09 is used by compl-def, bitsxor-is-orand, band-011x-neg-03,
• int-abs/sub-eq is used by shiftzero-by-one-01, shiftright-rec-neg, shiftright-rec-8-neg, shiftright-neg-div-02, shiftright-neg-div, rightshift-zero, intshiftrsign-neg-02, intshiftrsign-abs-le, intshiftrsign-2pot-neg-02, intshiftrsign-2pot-neg-01, intshiftright-ls-02, intshiftleft-is-mult-01, intshiftleft-is-mult, cast-sub-2pot, cast-mult-pos, cast-mult-add-h, cast-mod-pos-high, cast-mod-neg-low, cast-mod-ls-most, cast-law-sub-one-01, cast-law-sub-one, cast-law-add-pos-01, cast-if, cast-add-2pot-h, bxor-flip-one-bit, bor-2pot-plus-01, band-min, band-011x-neg-03, band-011x-neg-02, band-011x-neg-01, band-011x-neg, band-011x-is-unsigned-fix, band-011x-is-unsigned-03, band-011x-is-unsigned, band-011x-eq-01, band-011x-eq, and-011x-neg,
• int-abs/sub-eq-01 is used by shiftright-rec-neg, shiftright-neg-div, intshiftrzero-prop-01, intshiftrsign-rec-neg, intshiftrsign-2pot-pos, intshiftrsign-2pot-neg, cast-mod-ls-most, cast-min, cast-max,
• int-abs/sub-le is used by shiftzero-max-neg-01, intshiftrsign-2pot-neg-02, cast-nls-01, band-011x-neg-03,
• int-abs/sub-le-01 is used by shiftzero-max-neg-01, shiftzero-max-neg, shiftright-shift, shiftright-rec-8-neg, shiftright-pos-div, shiftright-neg-mone, shiftright-neg-div, longshiftzero-carry-01, intshiftrsign-rec-neg, intshiftrsign-2pot-pos, intshiftrsign-2pot-neg-01, intshiftrsign-2pot-neg, cast-zero, cast-size-fits-01, cast-mult-pos, cast-mult-add-h-01, cast-mult-2pot, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-low, cast-mod-neg-high, cast-mod-ls-pos, cast-mod-ls-most, cast-min, cast-max, cast-law-neg-pos, cast-law-mult-pos, cast-law-add-pos-01, cast-law-add-pos, cast-if, cast-add-2pot-h, bxor-flip-one-bit, band-min-02, band-011x-pos-02, band-011x-pos-01, band-011x-pos, band-011x-neg-03, band-011x-neg-02, band-011x-neg-01, band-011x-is-unsigned-fix-01, band-011x-is-unsigned-01, band-011x-is-unsigned, band-011x-eq,
• int-abs/sub-ls is used by shiftzero-max-neg-01, shiftzero-max-neg, shiftright-shift, shiftright-rec-8-neg, shiftright-neg-div, longshiftzero-carry-01, intshiftrsign-rec-neg, intshiftrsign-abs-le, intshiftrsign-2pot-pos, intshiftrsign-2pot-neg-01, intshiftrsign-2pot-neg, cast-size-fits, cast-mult-pos, cast-mult-add-h, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-low, cast-mod-neg-high, cast-min, cast-max, cast-law-neg-pos, cast-law-mult-pos, cast-law-add-pos-01, cast-law-add-pos, cast-if, cast-add-2pot-h, bxor-flip-one-bit, band-mod256-neg, band-min-02, band-min, band-011x-neg-03, band-011x-is-unsigned-01, band-011x-eq,
• int-abs/sub-ls-01 is used by shiftzero-max-neg-01, shiftzero-max-neg, shiftright-rec-8-neg, shiftright-neg-div, intshiftrzero-prop-01, intshiftrsign-abs-le, intshiftrsign-2pot-pos, intshiftrsign-2pot-neg-01, intshiftrsign-2pot-neg, intshiftright-ls-02, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-low, cast-mod-neg-high, cast-mod-ls-neg, bxor-flip-one-bit, band-min, band-011x-neg-03, band-011x-is-unsigned-fix, band-011x-is-unsigned-03, band-011x-is-unsigned-01, band-011x-is-unsigned,
• int-abs/sub-pred is used by shiftright-neg-div, rightshift-zero, intshiftrzero-prop-01, intshiftrsign-2pot-neg-01,
• int-abs/sub-sub is used by band-011x-neg-03, band-011x-eq,
• int-abs/sub-sub-04 is used by shiftzero-max-neg-01, shiftright-neg-div-02, shiftright-neg-div-01, shiftright-neg-div, intshiftrsign-abs-le, intshiftrsign-2pot-neg-02, intshiftrsign-2pot-neg-01, intshiftright-ls-02,
• int-abs/sub-zero-01 is used by shiftright-neg-div, band-011x-eq,
• int-abs/subneg is used by band-011x-neg-04,
• int-abs/subsub is used by shiftright-shift, shiftright-neg-div, intshiftrzero-prop-01, intshiftrsign-2pot-neg-02, intshiftleft-is-mult-01, intshiftleft-is-mult, compl-def, cast-law-compl, bor-2pot-plus-01, bitsxor-is-orand, bcompl-absorption, band-min, band-011x-neg, band-011x-is-unsigned,
• int-abs/succ-01 is used by shiftzero-max-neg-01, intshiftrsign-2pot-neg-01, cast-mult-pos, cast-mod-pos-low, cast-mod-neg-high, cast-law-neg-pos, cast-law-mult-pos, cast-law-add-pos-01, cast-law-add-pos, cast-if, cast-add-2pot-h, band-011x-neg-03, band-011x-eq,
• int-abs/succ-02 is used by shiftzero-max-neg-01, shiftzero-max-neg, longshiftzero-carry-01, intshiftrsign-abs-le, intshiftrsign-2pot-neg-01, cast-nls-01, cast-mult-pos, cast-mult-add, cast-mod-pos-high, cast-min, cast-law-neg-pos, cast-law-mult-pos, cast-law-add-pos-01, cast-law-add-pos, cast-if, cast-add-2pot-h, bxor-flip-one-bit, band-min-02, band-max, band-011x-neg-03, band-011x-is-unsigned-01, band-011x-eq,
• int-abs/zero-gels is used by band-011x-eq,
• int-abs/zero-gels-01 is used by shiftzero-by-one-01, shiftright-shift, shiftright-rec-8-neg, shiftright-not-pos-01, shiftright-not-neg, shiftright-neg-mone, shiftright-neg-div-01, shiftright-neg-div, longshiftzero-not-neg, longshiftzero-carry, intshiftrsign-rec-neg, intshiftrsign-abs-le, intshiftrsign-2pot-neg-02, intshiftrsign-2pot-neg-01, intshiftright-ls-02, intshiftright-ls-01, intshiftleft-is-mult-01, divide-by-10, cast-size-fits, cast-mult-neg, cast-mult-add-h-01, cast-mult-add-h, cast-mult-add, cast-mod-neg-low, cast-mod-neg-high, cast-min, cast-law-neg, cast-law-mult-one, cast-law-add-pos-01, cast-law-add-one, cast-if, cast-help-comm, cast-add-2pot-h, band-notneg-01, band-neg, band-min-02, band-min, band-max, band-011x-neg-02, band-011x-neg-01, band-011x-is-unsigned, band-011x-eq,
• int-abs/zero-gels-02 is used by shiftright-rec-pos, shiftright-rec-8-neg, intshiftrsign-rec-pos, intshiftrsign-2pot-neg-01,
• int-abs/zero-gels-03 is used by shiftright-rec-neg, shiftright-rec-8-neg, shiftright-neg-div, longshiftzero-carry-01, intshiftrsign-2pot-neg-01, cast-size-fits, cast-mult-add, cast-mod-neg-low, cast-mod-neg-high, cast-law-neg, cast-law-mult-one, cast-law-add-one, band-min, band-max, band-011x-eq,
• int-abs/zero-gels-04 is used by shiftzero-pos, shiftright-rec-pos, shiftright-rec-8-neg, shiftright-neg-div, intshiftrsign-rec-pos, intshiftrsign-if, intshiftrsign-2pot-neg-02, intshiftright-ls-02, divide-by-10, cast-size-fits-01, cast-size-fits, cast-mult-add, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-high, cast-mod-ls-pos, cast-law-neg, cast-law-mult-pos, cast-law-mult-one, cast-law-add-pos-01, cast-law-add-pos, cast-law-add-one, cast-if, cast-help-comm, cast-add-2pot-h, bxor-flip-one-bit, band-min-02, band-min-01, band-min, band-max, band-011x-neg-03, band-011x-is-unsigned-fix, band-011x-is-unsigned-01, band-011x-is-unsigned, band-011x-eq,
• int-abs/zero-gs is used by shiftright-shift, cast-law-add-pos, band-011x-neg-03,

Used from specification list-last

• list-last/bitlista/bapp is used by shiftright-rec-neg,
• list-last/bitlista/lapp is used by cast-mod-neg-high,
• list-last/bitlista/lb is used by shiftright-rec-neg,
• list-last/bitlista/mk-first is used by shiftzero-zero-size, shiftzero-pos, shiftzero-not-neg, shiftzero-minus-one, shiftright-rec-pos, shiftright-rec-neg, cast-help-comm,
• list-last/bitlista/mk-first-01 is used by shiftright-rec-pos, shiftright-not-pos-01, bor-2pot-plus-01, bitsand-cast,
• list-last/bitlista/mk-last is used by shiftzero-zero-size, shiftzero-minus-one,
• list-last/bitlista/mk-last-01-01 is used by band-011x-pos,
• list-last/bitlista/mk-last-02 is used by bitsand-cast,
• list-last/bitlista/mk-plus is used by cast-help-comm, bitsand-cast,
• list-last/bitlista/mk-rec is used by shiftzero-rec-neg-shorter, shiftzero-rec-neg-longer, intshiftrsign-rec-pos, intshiftrsign-rec-neg, intshiftright-ls-01,
• list-last/bitlista/mk-rest-01 is used by shiftright-rec-pos,
• list-last/bitlista/mk-succ is used by intshiftrzero-prop-01,
• list-last/bitlista/mklist-append is used by shiftzero-pos,
• list-last/bitlista/mklist-last is used by shiftright-rec-pos,
• list-last/bitlista/splitlasteq is used by bitsor-first-02, bitsor-first, and-ones, and-notone-01, and-first, and-false, and-011x-neg,
• list-last/bitlista/b is used by bitsor-first-02, and-true, and-size-one, and-notone-01, and-first, and-false,
• list-last/bitlista/b-01 is used by bitsxor-append-same-size, and-size-one, and-ones, and-notone-01, and-com, add-ones-grlen-02,
• list-last/bitlista/bapp is used by bitsxor-append-same-size, bitsor-zeroes-true, bitsor-zeroes-false, bitsor-ones-true, bitsor-ones-false, bitsor-mklist-in, bitsor-first-02, bitsor-first, bitsor-app, bitsand-zeros-01, bitsand-zeros, bitsand-onein, bitsand-len-true, bitsand-len-false, bitsand-first-samesize, bitsand-app-zeros-01, bitsand-app-zeros, bitsand-app-true, bitsand-app-ones, bitsand-app-false, bitsand-app, and-true, and-size-one-01, and-size-one, and-rec-09, and-rec-06, and-ones, and-notone-01, and-first, and-false, and-011x-neg, add-ones-lelen, add-ones-grlen-02, add-ones-grlen,
• list-last/bitlista/bin is used by or-two-02, or-two-01, bitsand-onein, bitsand-app-zeros-01, bitsand-app-zeros, bitsand-app-ones, and-rec-08, and-rec-07,
• list-last/bitlista/bin-01 is used by and-ones, add-ones-grlen-02,
• list-last/bitlista/butlast-def is used by shiftzero-rec-neg-shorter, shiftzero-rec-neg-longer, shiftright-rec-pos, or-two-02, or-two-01, or-last, or-invandinv, bxor-flip-one-bit, bitsxor-is-orand, bitsor-mklist-in, bitsor-bi-sgn, bitsor-app, bitsand-onein, bitsand-first-samesize, bitsand-fillsgn, bitsand-app-zeros-01, bitsand-app-zeros, bitsand-app-true, bitsand-app-ones, bitsand-app-false, bitsand-app, band-min, band-max, band-011x-pos, and-two, and-size-one-01, and-sgn, and-rec-09, and-rec-08, and-rec-07, and-rec-06, and-insgn, and-ass,
• list-last/bitlista/butlast-last is used by or-rec-04, or-rec-03, or-rec-02, or-rec-01, or-rec, bitsxor-rec-04, bitsxor-rec-03, bitsxor-rec-02, bitsxor-rec-01-01, bitsxor-rec-01,
• list-last/bitlista/l is used by cast-mod-neg-high, bitsor-first-02,
• list-last/bitlista/l-02 is used by bitsor-zeroes-true, bitsor-zeroes-false, bitsor-ones-true, bitsor-ones-false, bitsor-first-02, bitsor-first, bitsand-zeros-01, bitsand-zeros, bitsand-onein, bitsand-first-samesize, bitsand-app-zeros-01, bitsand-app-zeros, bitsand-app-true, bitsand-app-ones, bitsand-app-false, and-true, and-size-one-01, and-size-one, and-rec-09, and-rec-06, and-ones, and-notone-01, and-first, and-false, and-011x-neg, add-ones-lelen, add-ones-grlen-02, add-ones-grlen,
• list-last/bitlista/l-06 is used by bxor-flip-one-bit, and-size-one,
• list-last/bitlista/l-in is used by bitsor-first, and-notone-01, and-first, and-011x-neg,
• list-last/bitlista/lapp is used by bitsxor-append-same-size, bitsor-mklist-in, bitsor-app, bitsand-app-true, bitsand-app-false, bitsand-app, and-size-one-01, and-size-one,
• list-last/bitlista/lapp-01 is used by or-two-02, bitsand-onein, bitsand-app-zeros-01, bitsand-app-zeros, bitsand-app-ones, and-rec-08, and-rec-07,
• list-last/bitlista/last-01 is used by bitsor-mklist-in, bitsand-onein, bitsand-first-samesize, bitsand-app-zeros-01, bitsand-app-zeros, bitsand-app-true, bitsand-app-ones, bitsand-app-false,
• list-last/bitlista/last-def is used by or-two-02, or-two-01, or-last, or-invandinv, cast-mod-neg-low, bxor-flip-one-bit, bitsxor-is-orand, bitsor-mklist-in, bitsor-bi-sgn, bitsor-app, bitsand-onein, bitsand-first-samesize, bitsand-fillsgn, bitsand-app-zeros-01, bitsand-app-true, bitsand-app-false, bitsand-app, band-min, band-max, band-011x-pos, and-two, and-size-one-01, and-sgn, and-rec-09, and-rec-08, and-rec-07, and-rec-06, and-insgn, and-ass,
• list-last/bitlista/last-elim is used by or-rec, or-invandinv, bxor-flip-one-bit, bitsxor-zeros, bitsxor-rec-01, bitsxor-is-orand, bitsxor-append-same-size, bitsor-zeroes-true, bitsor-zeroes-false, bitsor-ones-true, bitsor-ones-false, bitsor-mklist-in, bitsor-first-02, bitsor-first, bitsor-com, bitsor-bi-sgn, bitsor-app, bitsand-zeros-01, bitsand-zeros, bitsand-zero-in, bitsand-onein, bitsand-len-true, bitsand-len-false, bitsand-idempotent, bitsand-first-samesize, bitsand-fillsgn, bitsand-app-zeros-01, bitsand-app-zeros, bitsand-app-true, bitsand-app-ones, bitsand-app-false, bitsand-app, band-max, and-zerosin, and-size-one-01, and-size-one, and-sgn, and-rec, and-onesin, and-ones, and-insgn, and-false, and-ass, and-011x-neg, add-ones-lelen, add-ones-grlen-02, add-ones-grlen,
• list-last/bitlista/lb is used by bitsxor-append-same-size, bitsand-app-zeros, and-size-one, and-ones, and-notone-01, and-first, and-com, add-ones-grlen-02,
• list-last/bitlista/lin-01 is used by and-notone-01, and-first, and-011x-neg,
• list-last/bitlista/mk-butlast is used by band-011x-pos,
• list-last/bitlista/mk-butlast-01 is used by bitsor-mklist-in,
• list-last/bitlista/mk-elem is used by bitsor-mklist-in,
• list-last/bitlista/mk-empty is used by shiftzero-zero-size, shiftzero-rec-neg-shorter, shiftzero-rec-neg-longer, shiftzero-pos, shiftzero-not-neg, shiftzero-minus-one, shiftright-rec-pos, shiftright-rec-neg, shiftright-not-pos-01, shiftright-minus-one, intshiftrsign-rec-pos, intshiftrsign-rec-neg, intshiftright-ls-01, intshiftleft-is-mult-01, intshiftleft-is-mult, cast-mod-neg-high, cast-help-comm, bor-2pot-plus-01, bor-2pot-plus, bitsxor-zeros-01, bitsor-mklist-in, bitsand-fillsgn, bitsand-cast, band-011x-pos, band-011x-neg, band-011x-is-unsigned, band-011x-is-lastn, add-ones-grlen,
• list-last/bitlista/mk-first is used by shiftzero-rec-neg-shorter, shiftzero-rec-neg-longer, bitsand-cast,
• list-last/bitlista/mk-first-01 is used by bitsand-cast,
• list-last/bitlista/mk-in is used by shiftright-rec-pos, intshiftright-ls-01, bitsor-mklist-in, bitsand-cast,
• list-last/bitlista/mk-inj-01 is used by bitsand-fillsgn, bitsand-cast,
• list-last/bitlista/mk-last is used by intshiftrsign-rec-pos, intshiftrsign-rec-neg, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-high, bitsand-zeros-01, add-ones-grlen,
• list-last/bitlista/mk-last-01 is used by bitsor-mklist-in,
• list-last/bitlista/mk-len is used by shiftzero-rec-neg-shorter, shiftzero-rec-neg-longer, shiftzero-pos, shiftzero-minus-one, shiftright-zero, shiftright-rec-pos, shiftright-rec-neg, shiftright-neg-mone, longshiftzero-zero, intshiftrzero-prop-01, intshiftrsign32, intshiftrsign-rec-pos, intshiftrsign-rec-neg, intshiftrsign-if, intshiftleft-is-mult-01, intshiftleft-is-mult, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-high, cast-mod-ls-pos, cast-mod-ls-neg, cast-mod-ls-most, cast-help-comm, bxor-flip-one-bit, bor-2pot-plus-01, bor-2pot-plus, bitsxor-zeros-01, bitsor-mklist-in, bitsand-fillsgn, bitsand-cast-05, bitsand-cast-04, bitsand-cast, band-011x-pos-02, band-011x-pos-01, band-011x-pos, band-011x-neg-02, band-011x-neg-01, band-011x-neg, band-011x-is-unsigned-fix-01, band-011x-is-unsigned-fix, band-011x-is-unsigned-03, band-011x-is-unsigned-01, band-011x-is-unsigned, band-011x-is-lastn, band-011x-eq,
• list-last/bitlista/mk-plus is used by shiftzero-pos, shiftright-rec-pos, intshiftrzero-prop-01, intshiftrsign-rec-pos, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-high, cast-help-comm, bitsand-zeros-02, bitsand-zeros-01, bitsand-fillsgn, bitsand-cast, bitsand-app-zeros,
• list-last/bitlista/mk-rest-01 is used by shiftright-rec-neg,
• list-last/bitlista/mk-zero is used by shiftzero-zero, shiftzero-rec-neg-shorter, shiftzero-rec-neg-longer, shiftzero-pos, shiftzero-by-one, shiftright-rec-pos, shiftright-rec-neg, shiftright-not-pos-01, rightshift-zero, longshiftzero-zero, intshiftzero-mone, intshiftrzero-prop-01, intshiftrsign32, intshiftrsign-zero, intshiftrsign-rec-pos, intshiftrsign-rec-neg, intshiftright-ls-01, intshiftleft-is-mult-01, intshiftleft-is-mult, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-high, cast-mod-ls-most, bxor-flip-one-bit, bor-2pot-plus-01, bor-2pot-plus, bitsand-zeros-02, bitsand-zeros-01, bitsand-fillsgn, bitsand-cast, bitsand-app-zeros, band-011x-pos, band-011x-is-lastn,
• list-last/bitlista/mklist-one is used by bitsor-mklist-in,

Used from specification list-data

• list-data/bitlista/length-rest is used by cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-low, cast-mod-neg-high, bor-2pot-plus-01,
• list-data/bitlista/lf-01 is used by bxor-flip-one-bit, bitsxor-zeros,
• list-data/bitlista/elim-list is used by bxor-flip-one-bit, bitsxor-zeros, bitsxor-first, bitsor-first-01, bitsor-bi-sgn, bitsand-cast-01, bitsand-cast, and-zerosin, and-sgn, and-onesin, add-ones-grlen-02,
• list-data/bitlista/elim-list-c is used by shiftright-rec-pos, shiftright-minus-one, or-invandinv, intshiftrzero-prop-01, intshiftrsign-if, intshiftright-ls-01, bor-2pot-plus, bitsor-zeroes-true, bitsor-zeroes-samelen, bitsor-zeroes-false, bitsor-sgn-in, bitsor-ones-true, bitsor-ones-samelen, bitsor-ones-false, bitsor-first-02, bitsor-first-01, bitsor-bi-zeroes, bitsor-bi-sgn, bitsor-bi-ones, bitsand-zeros-02, bitsand-zeros-01, bitsand-zeros, bitsand-len-true, bitsand-len-false, bitsand-first-samesize, bitsand-fillsgn, bitsand-cast-05, bitsand-cast-04, bitsand-app-true, bitsand-app-false, band-one-is-mod2, band-neg, band-63-pos, band-31-pos, band-011x-pos, band-011x-neg, band-011x-is-lastn, and-true, and-size-one-01, and-size-one, and-ones, and-one-01, and-notone-03, and-notone-01, and-notone, and-notempty, and-insgn, and-first, and-false, and-com, and-011x-neg, add-ones-lelen, add-ones-grlen,
• list-data/bitlista/eq-one is used by bitsxor-append-same-size, bitsor-app, bitsand-app-true, bitsand-app-false, bitsand-app, and-size-one-01, and-size-one,
• list-data/bitlista/l is used by shiftzero-zero-size, shiftzero-rec-neg-shorter, shiftzero-rec-neg-longer, shiftzero-pos, shiftzero-not-neg, shiftzero-max-neg-01, shiftzero-max-neg, shiftright-rec-pos, shiftright-rec-neg, shiftright-not-pos-01, shiftright-neg-mone, or-two-02, or-two-01, or-rec, or-last, or-invandinv, intshiftrzero-prop-01, intshiftrsign32, intshiftrsign-rec-pos, intshiftrsign-rec-neg, intshiftrsign-if, intshiftright-ls-01, intshiftleft-is-mult-01, intshiftleft-is-mult, cast-size-fits-01, cast-size-fits, cast-one, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-low, cast-mod-neg-high, cast-mod-ls-pos, cast-mod-ls-neg, cast-min, cast-max, cast-length, cast-law-shift-snd-l, cast-help-comm, cast-band, bxor-flip-one-bit, bxor-bitlength, bor-bitlength, bor-2pot-plus-01, bor-2pot-plus, bitsxor-zeros, bitsxor-rec-01, bitsxor-is-orand, bitsxor-first, bitsxor-empty, bitsxor-append-same-size, bitsor-zeroes-true, bitsor-zeroes-samelen, bitsor-zeroes-false, bitsor-sgn-in, bitsor-ones-true, bitsor-ones-samelen, bitsor-ones-false, bitsor-mklist-in, bitsor-first-02, bitsor-first, bitsor-empty, bitsor-com, bitsor-bi-zeroes, bitsor-bi-sgn, bitsor-bi-ones, bitsor-app, bitsand-zeros-02, bitsand-zeros-01, bitsand-zeros, bitsand-zero-in, bitsand-onein, bitsand-len-true, bitsand-len-false, bitsand-idempotent, bitsand-first-samesize, bitsand-fillsgn, bitsand-cast-05, bitsand-cast-04, bitsand-cast-01, bitsand-cast, bitsand-app-zeros-01, bitsand-app-zeros, bitsand-app-true, bitsand-app-ones, bitsand-app-false, bitsand-app, bits2int-is-cast, bcompl-size-01, band-min-02, band-min-01, band-min, band-max, band-bitlength, band-011x-pos, band-011x-is-unsigned-fix, band-011x-is-unsigned-03, band-011x-is-unsigned, band-011x-is-lastn, and-zerosin, and-true, and-size-one-01, and-size-one, and-sgn, and-rec-09, and-rec-08, and-rec-07, and-rec-06, and-rec, and-onesin, and-ones, and-notone-01, and-notempty, and-insgn, and-first, and-false, and-com, and-ass, and-011x-neg, add-ones-lelen-01, add-ones-lelen, add-ones-grlen-02, add-ones-grlen-01, add-ones-grlen,
• list-data/bitlista/le-one is used by bitsxor-zeros, bitsor-zeroes-false, bitsor-ones-true, add-ones-grlen-02,
• list-data/bitlista/lf-01 is used by or-rec, or-invandinv, bor-2pot-plus, band-max, band-011x-pos, and-zerosin, and-true, and-size-one-01, and-size-one, and-sgn, and-rec, and-onesin, and-ones, and-notone-01, and-notempty, and-insgn, and-first, and-com, and-ass, and-011x-neg, add-ones-lelen, add-ones-grlen,
• list-data/bitlista/lr-04 is used by cast-mod-pos-high, cast-mod-neg-low, cast-mod-neg-high,
• list-data/bitlista/size-01 is used by shiftzero-pos, shiftright-rec-neg, cast-mod-pos-high, cast-mod-neg-high, bxor-flip-one-bit, bor-2pot-plus-01, bor-2pot-plus, bitsxor-first, bitsxor-append-same-size, bitsor-zeroes-false, bitsor-sgn-in, bitsor-ones-true, bitsor-mklist-in, bitsor-bi-zeroes, bitsor-bi-ones, bitsor-app, bitsand-zeros-01, bitsand-zeros, bitsand-len-false, bitsand-first-samesize, bitsand-fillsgn, bitsand-cast-05, bitsand-cast-01, bitsand-cast, bitsand-app-true, bitsand-app-false, bitsand-app, band-011x-is-lastn, and-size-one-01, and-size-one, and-011x-neg, add-ones-lelen-01, add-ones-lelen, add-ones-grlen-02, add-ones-grlen-01, add-ones-grlen,

Used from specification int2bits

• int2bits/bits2bits-def is used by cast-law-and-one, cast-help-comm, cast-band, bxor-flip-one-bit, bxor-def-logic, bor-notAndNot,
• int2bits/bits2int-fill is used by shiftzero-zero, shiftzero-by-one-01, intshiftrsign32, band-011x-is-unsigned,
• int2bits/bits2int-ge-zero is used by shiftright-not-pos-01, bxor-flip-one-bit, band-neg,
• int2bits/bits2int-inj is used by band-associativity,
• int2bits/bits2int-inv is used by compl-def,
• int2bits/bits2int-lez is used by shiftzero-not-neg, band-notneg-01,
• int2bits/bits2int-mklist is used by shiftzero-pos, intshiftrsign-if, cast-mod-ls-pos, cast-mod-ls-neg, cast-help-comm,
• int2bits/bits2int-mklist-05 is used by intshiftrzero-prop-01, intshiftrsign32,
• int2bits/bits2int-mklist-06 is used by intshiftrsign32,
• int2bits/bits2int-neg is used by intshiftright-ls-01, cast-mod-ls-most,
• int2bits/bits2int-neg-1bit is used by shiftright-rec-neg,
• int2bits/bits2int-neg-1bit-01 is used by shiftright-rec-neg,
• int2bits/bits2int-nls-01 is used by band-min-01,
• int2bits/bits2int-nls-02 is used by band-min-02,
• int2bits/bits2int-ones is used by cast-mod-neg-high, bitsor-bi-sgn,
• int2bits/bits2int-ones-02 is used by bitsor-bi-ones,
• int2bits/bits2int-pos is used by bor-2pot-plus,
• int2bits/bits2int-pos-02 is used by shiftzero-zero-size, shiftzero-rec-neg-shorter, shiftzero-rec-neg-longer, shiftzero-minus-one, shiftright-rec-pos, intshiftrsign-rec-pos, bitsor-bi-zeroes, band-011x-neg,
• int2bits/bits2int-rec is used by bitsor-bi-sgn, band-max, band-011x-pos,
• int2bits/bits2int-rec-03 is used by bitsor-bi-sgn,
• int2bits/bits2int-rec-false is used by bitsxor-is-orand, bitsor-bi-sgn, band-min, band-max, band-011x-pos,
• int2bits/bits2int-rec-true is used by bitsxor-is-orand, band-min,
• int2bits/bits2int-sgn-intro is used by cast-band, and-bits2int-sgn,
• int2bits/bits2int-sign is used by intshiftrzero-prop-01, intshiftrsign-rec-neg,
• int2bits/bits2int-split is used by intshiftleft-is-mult-01, intshiftleft-is-mult, bor-2pot-plus,
• int2bits/bits2int-split-01 is used by intshiftleft-is-mult-01, intshiftleft-is-mult, bor-2pot-plus-01,
• int2bits/bits2int-zero-01 is used by shiftzero-pos, shiftright-zero, shiftright-rec-pos, longshiftzero-zero, cast-mod-neg-high,
• int2bits/bits2int-zero-03 is used by cast-one,
• int2bits/bits2int-zeros-03 is used by shiftzero-pos,
• int2bits/bits2uint-not-zero is used by intshiftright-ls-01,
• int2bits/bits2uint-one-01 is used by band-max,
• int2bits/bits2uint-ones is used by intshiftleft-is-mult-01, intshiftleft-is-mult, bor-2pot-plus-01, and-011x-neg,
• int2bits/bits2uint-rec-02 is used by and-011x-neg,
• int2bits/bits2uint-split is used by bor-2pot-plus-01,
• int2bits/bits2uint-zeros is used by shiftright-rec-pos,
• int2bits/bits2uint-zeros-02 is used by bitsor-bi-zeroes,
• int2bits/int2bits-bits2unit is used by shiftzero-zero-size,
• int2bits/int2bits-falsein-02 is used by band-011x-pos-02, band-011x-pos-01, band-011x-neg-02, band-011x-neg-01, band-011x-is-unsigned-fix-01, band-011x-is-unsigned-01, band-011x-eq,
• int2bits/int2bits-leading-sgn is used by bxor-flip-one-bit,
• int2bits/int2bits-lelen is used by cast-size-fits, cast-mod-pos-high,
• int2bits/int2bits-lelen-01 is used by cast-max,
• int2bits/int2bits-lelen-02 is used by cast-min,
• int2bits/int2bits-lelen-03 is used by shiftzero-max-neg, cast-size-fits, cast-mod-neg-low, cast-mod-neg-high,
• int2bits/int2bits-lelen-06 is used by cast-mod-pos-high,
• int2bits/int2bits-len-neg is used by cast-mod-neg-low, cast-mod-neg-high,
• int2bits/int2bits-len-neg-02 is used by band-011x-is-unsigned-fix, band-011x-is-unsigned-03,
• int2bits/int2bits-len-pos is used by cast-mod-pos-high,
• int2bits/int2bits-leneq-neg is used by cast-mod-neg-high,
• int2bits/int2bits-leneq-pos is used by bxor-flip-one-bit,
• int2bits/int2bits-lslen is used by cast-mod-pos-low, cast-mod-pos-high, bxor-flip-one-bit,
• int2bits/int2bits-lslen-03 is used by cast-mod-neg-low, cast-mod-neg-high,
• int2bits/int2bits-lslen-05 is used by shiftright-neg-mone, intshiftrzero-prop-01, cast-size-fits-01, cast-mod-neg-low, cast-mod-neg-high, cast-mod-ls-neg, band-011x-is-unsigned,
• int2bits/int2bits-lslen-06 is used by cast-size-fits-01, cast-mod-pos-low, cast-mod-pos-high, cast-mod-ls-pos,
• int2bits/int2bits-lslen-12 is used by bxor-flip-one-bit, band-011x-is-unsigned-fix, band-011x-is-unsigned-03,
• int2bits/int2bits-mod2-len is used by shiftright-rec-neg, band-min,
• int2bits/int2bits-mone is used by shiftzero-minus-one, shiftzero-max-neg-01, shiftzero-max-neg, shiftright-rec-neg, shiftright-neg-mone, intshiftzero-mone, intshiftrzero-prop-01, cast-size-fits-01, cast-mod-neg-high, cast-mod-ls-neg, band-min, band-011x-is-unsigned,
• int2bits/int2bits-neg is used by bor-2pot-plus-01, band-011x-neg,
• int2bits/int2bits-neg-01 is used by bor-2pot-plus-01, band-011x-neg,
• int2bits/int2bits-one-bit is used by bxor-flip-one-bit,
• int2bits/int2bits-pos is used by shiftright-rec-pos, intshiftzero-mone, intshiftrzero-prop-01, intshiftrsign-rec-pos, intshiftleft-is-mult-01, intshiftleft-is-mult, cast-mod-pos-high, cast-law-shift-snd-zr, cast-law-shift-snd-r, cast-law-shift-snd-l, bor-2pot-plus-01, bor-2pot-plus, band-one-is-mod2, band-011x-pos,
• int2bits/int2bits-pos-num is used by band-63-pos, band-31-pos,
• int2bits/int2bits-rec-2pot-neg-01 is used by cast-mod-neg-high,
• int2bits/int2bits-rec-2pot-neg-02 is used by cast-mod-neg-low, cast-mod-neg-high,
• int2bits/int2bits-rec-2pot-pos is used by cast-mod-pos-low, cast-mod-pos-high,
• int2bits/int2bits-rec-neg is used by shiftzero-rec-neg-shorter, shiftzero-rec-neg-longer, shiftzero-max-neg, shiftzero-by-one-01, shiftzero-by-one, intshiftrsign-rec-neg, band-min, band-max,
• int2bits/int2bits-rec-neg-01 is used by shiftzero-rec-neg-shorter, shiftzero-max-neg-01, shiftright-rec-neg, cast-mod-neg-high, band-min,
• int2bits/int2bits-rec-neg-03 is used by cast-mod-neg-low,
• int2bits/int2bits-rec-pos is used by shiftright-rec-pos, intshiftrsign-rec-pos, band-max,
• int2bits/int2bits-rec-pos-01 is used by bxor-flip-one-bit, band-max,
• int2bits/int2int-rest is used by cast-mod-pos-high,
• int2bits/int2int-rest-01 is used by cast-mod-neg-low, cast-mod-neg-high,
• int2bits/int2uint-fill is used by bor-2pot-plus,
• int2bits/int2uint-neg is used by shiftzero-zero-size-01,
• int2bits/int2uint-pos-01 is used by shiftzero-zero-size,
• int2bits/int2unit-inv-rest is used by bor-2pot-plus-01,
• int2bits/ubits2bits is used by shiftzero-by-one-01, intshiftrzero-prop-01, band-011x-is-unsigned,
• int2bits/uint2bits-2pot-01 is used by bor-2pot-plus,
• int2bits/uint2bits-2pot-06 is used by bor-2pot-plus-01,
• int2bits/uint2bits-first-01 is used by band-011x-pos,
• int2bits/uint2bits-rec-01 is used by intshiftrsign-rec-pos, band-011x-pos,
• int2bits/uint2bits-sgn-first is used by band-011x-neg,
• int2bits/uint2int-invsucc is used by bor-2pot-plus-01,
• int2bits/bits2bits-def is used by cast-length, cast-law-and-one, cast-law-absorption, cast-help-comm, bxor-flip-one-bit, bxor-def-logic, bor-notAndNot, bcompl-size-01, band-bitlength, band-associativity,
• int2bits/bits2int-base is used by bxor-flip-one-bit,
• int2bits/bits2int-fill is used by cast-mod-pos-low, cast-mod-neg-high,
• int2bits/bits2int-inj is used by bitsxor-is-orand, bitsor-bi-sgn,
• int2bits/bits2int-inv is used by bitsxor-is-orand,
• int2bits/bits2int-mklist-01 is used by intshiftrsign32,
• int2bits/bits2int-mklist-02 is used by intshiftrsign32,
• int2bits/bits2int-mklist-03 is used by shiftright-neg-mone, intshiftrsign-if,
• int2bits/bits2int-mklist-04 is used by shiftzero-pos, intshiftrsign-if,
• int2bits/bits2int-mklist-05 is used by intshiftrzero-prop-01,
• int2bits/bits2int-neg is used by band-011x-pos,
• int2bits/bits2int-one is used by shiftright-rec-neg, shiftright-minus-one, intshiftrsign-rec-pos, intshiftrsign-rec-neg, compl-zero, cast-one, cast-mod-neg-low, cast-mod-neg-high, cast-mod-ls-most, bxor-zero, bor-zero, bitsor-bi-sgn, band-011x-pos,
• int2bits/bits2int-ones is used by bitsor-bi-sgn,
• int2bits/bits2int-pos is used by shiftzero-zero-size, shiftzero-rec-neg-shorter, shiftzero-rec-neg-longer, shiftzero-minus-one, shiftzero-by-one, shiftright-rec-pos, intshiftzero-mone, intshiftrzero-prop-01, intshiftrsign-rec-pos, intshiftrsign-rec-neg, intshiftright-mone, intshiftright-ls-01, bitsor-bi-zeroes, bitsor-bi-sgn, band-max, band-011x-pos, band-011x-is-lastn,
• int2bits/bits2int-sgn is used by cast-band, bor-notAndNot, bor-2pot-plus-01, bitsor-bi-sgn, and-bits2int-sgn,
• int2bits/bits2int-zero is used by shiftright-rec-pos, rightshift-zero, intshiftrsign-zero-01, intshiftrsign-zero, intshiftrsign-rec-pos, cast-mod-neg-high, cast-band, bxor-minus-one, bitsor-bi-sgn, band-zero, band-min, band-max, band-011x-pos, band-011x-is-lastn,
• int2bits/bits2uint-2pot-02 is used by intshiftrzero-prop-01, cast-mod-ls-most, band-011x-is-unsigned-03,
• int2bits/bits2uint-base is used by shiftzero-rec-neg-shorter, bor-2pot-plus-01, band-011x-is-unsigned-fix-01, band-011x-is-lastn, and-011x-neg,
• int2bits/bits2uint-mone is used by bitsor-bi-sgn,
• int2bits/bits2uint-not-neg is used by intshiftright-ls-01,
• int2bits/bits2uint-not-neg-01 is used by shiftzero-zero-size, intshiftright-ls-01, and-011x-neg,
• int2bits/bits2uint-one is used by intshiftzero-mone, intshiftrsign-rec-neg, band-011x-pos, and-011x-neg,
• int2bits/bits2uint-one-01 is used by shiftright-rec-pos,
• int2bits/bits2uint-one-02 is used by intshiftzero-mone, intshiftrsign-rec-pos, band-max, band-011x-is-unsigned-03,
• int2bits/bits2uint-one-03 is used by intshiftzero-mone, intshiftrsign-rec-pos, intshiftrsign-rec-neg, intshiftright-mone, band-max, band-011x-pos,
• int2bits/bits2uint-zero is used by intshiftzero-mone, intshiftrzero-prop-01, intshiftright-mone, and-011x-neg,
• int2bits/bits2uint-zeros is used by intshiftright-ls-01,
• int2bits/bits2uint-zeros-03 is used by bitsor-bi-zeroes, band-011x-pos, band-011x-neg, and-011x-neg,
• int2bits/bits2uint-zeros-04 is used by intshiftleft-is-mult-01, intshiftleft-is-mult, band-011x-is-unsigned-fix,
• int2bits/int2bits-011x is used by band-011x-is-unsigned-fix-03, band-011x,
• int2bits/int2bits-2pot is used by bxor-flip-one-bit, band-011x-is-unsigned-fix,
• int2bits/int2bits-2pot-01 is used by cast-mod-ls-most, band-011x-is-unsigned-fix, band-011x-is-unsigned-03,
• int2bits/int2bits-2pot-02 is used by shiftzero-minus-one, band-011x-pos-02, band-011x-pos-01, band-011x-pos, band-011x-neg-02, band-011x-neg-01, band-011x-neg, band-011x-is-unsigned-fix-01, band-011x-is-unsigned-fix, band-011x-is-unsigned-03, band-011x-is-unsigned-01, band-011x-is-unsigned, band-011x-is-lastn, band-011x-eq,
• int2bits/int2bits-eq is used by bor-2pot-plus, band-max,
• int2bits/int2bits-fillfirst is used by shiftzero-by-one-01, intshiftrzero-prop-01, band-011x-is-unsigned,
• int2bits/int2bits-first is used by intshiftright-ls-01,
• int2bits/int2bits-first-01 is used by shiftright-rec-neg, shiftright-not-pos-01, shiftright-neg-mone, intshiftrzero-prop-01, intshiftrsign-rec-neg, intshiftrsign-if, intshiftleft-is-mult-01, intshiftleft-is-mult, cast-mod-neg-high, cast-mod-ls-neg, cast-help-comm, bor-2pot-plus-01, band-neg, band-min-02, band-min-01, band-bitlength, band-011x-is-unsigned,
• int2bits/int2bits-first-02 is used by shiftzero-zero-size, shiftzero-rec-neg-shorter, shiftzero-pos, shiftzero-by-one-01, shiftright-rec-pos, shiftright-rec-neg, shiftright-abs, rightshift-zero, longshiftright-def-unbounded, intshiftrsign32, intshiftrsign-zero, intshiftrsign-rec-pos, intshiftrsign-rec-neg, intshiftrsign-if, intshiftright-unbounded-same, intshiftright-ls-01, intshiftright-def-unbounded, intshiftleft-is-mult-01, intshiftleft-is-mult, cast-mod-pos-low, cast-mod-ls-pos, cast-law-shift-snd-r, cast-help-comm, cast-band, bxor-flip-one-bit, bor-2pot-plus, band-notneg-01, band-max, band-bitlength,
• int2bits/int2bits-first-03 is used by intshiftright-ls-01, bxor-flip-one-bit,
• int2bits/int2bits-first-04 is used by bor-2pot-plus,
• int2bits/int2bits-first-05 is used by intshiftrzero-prop-01, bxor-flip-one-bit, band-one-is-mod2, band-63-pos, band-31-pos,
• int2bits/int2bits-inv-first is used by bor-2pot-plus-01, bor-2pot-plus,
• int2bits/int2bits-len-2-32-1 is used by band-011x-is-unsigned-fix-03,
• int2bits/int2bits-len-one is used by cast-band, bxor-flip-one-bit,
• int2bits/int2bits-len-pos-01 is used by bor-2pot-plus-01, bor-2pot-plus,
• int2bits/int2bits-mone-02 is used by shiftright-minus-one, bxor-minus-one, band-minus-one,
• int2bits/int2bits-neg-num is used by intshiftrsign-rec-neg, intshiftright-mone, band-max,
• int2bits/int2bits-not-empty is used by shiftzero-zero-size, shiftzero-zero, shiftzero-rec-neg-shorter, shiftzero-rec-neg-longer, shiftzero-pos, shiftzero-not-neg, shiftzero-max-neg-01, shiftzero-max-neg, shiftzero-by-one-01, shiftzero-by-one, shiftright-rec-pos, shiftright-rec-neg, shiftright-not-pos-01, shiftright-neg-mone, intshiftrzero-prop-01, intshiftrsign32, intshiftrsign-rec-pos, intshiftrsign-rec-neg, intshiftrsign-if, intshiftright-ls-01, intshiftleft-is-mult-01, intshiftleft-is-mult, compl-def, cast-size-fits-01, cast-size-fits, cast-one, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-low, cast-mod-neg-high, cast-mod-ls-pos, cast-mod-ls-neg, cast-min, cast-max, cast-length, cast-law-shift-snd-l, cast-law-and-one, cast-law-absorption, cast-help-comm, cast-band, bxor-flip-one-bit, bxor-def-logic, bxor-bitlength, bor-notAndNot, bor-bitlength, bor-2pot-plus-01, bor-2pot-plus, bitsand-true, bitsand-false-01, bitsand-false, bits2int-is-cast, bcompl-size-01, band-zero, band-one-is-mod2, band-notneg-01, band-neg, band-min-02, band-min-01, band-min, band-max, band-idempotent-01, band-commutativity, band-bitlength, band-associativity, band-63-pos, band-31-pos, band-011x-is-unsigned-fix, band-011x-is-unsigned-03, band-011x-is-unsigned, band-011x-is-lastn, and-notempty-09,
• int2bits/int2bits-pos-num is used by intshiftrsign-zero, intshiftrsign-rec-pos, intshiftrsign-rec-neg, intshiftright-mone, intshiftright-ls-01, band-mod256-pos, band-mod256-neg, band-max, band-65535-pos, band-65535-neg, band-255-pos, band-255-neg,
• int2bits/int2bits-sgn is used by bcompl-size-01,
• int2bits/int2bits-true is used by band-max,
• int2bits/int2bits-truein is used by intshiftright-ls-01,
• int2bits/int2bits-zero is used by shiftright-zero, shiftright-rec-pos, rightshift-zero, longshiftzero-zero, intshiftrsign-zero-01, intshiftrsign-zero, intshiftrsign-rec-pos, intshiftright-ls-01, compl-zero, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-high, cast-mod-ls-pos, cast-band, bxor-zero, bxor-flip-one-bit, bor-zero, bor-2pot-plus-01, bor-2pot-plus, band-zero, band-min, band-max, band-011x-is-unsigned-fix, band-011x-is-unsigned-03,
• int2bits/int2int-inj is used by shiftzero-zero, shiftzero-rec-neg-longer, shiftzero-by-one-01, shiftright-rec-pos, shiftright-rec-neg, rightshift-zero, intshiftrsign32, intshiftrsign-zero, intshiftrsign-rec-neg, intshiftleft-is-mult-01, intshiftleft-is-mult, compl-def, cast-mod-pos-low, cast-mod-neg-high, cast-mod-ls-pos, cast-mod-ls-neg, cast-help-comm, bor-2pot-plus-01, bor-2pot-plus, band-minus-one, band-min, band-max, band-idempotent-01, band-011x-is-unsigned,
• int2bits/int2uint-fill is used by band-011x-is-unsigned,
• int2bits/int2uint-inv-01 is used by intshiftleft-is-mult-01, intshiftleft-is-mult, bor-2pot-plus-01, band-011x-neg,
• int2bits/int2uint-pos is used by bor-2pot-plus-01,
• int2bits/int2uint-pos-01 is used by intshiftleft-is-mult-01,
• int2bits/uint2bits-empty is used by intshiftrsign-rec-pos, bor-2pot-plus, band-011x-pos,
• int2bits/uint2bits-first-02 is used by bor-2pot-plus,
• int2bits/uint2bits-one is used by shiftright-rec-pos, intshiftzero-mone, intshiftrzero-prop-01, intshiftrsign-zero, intshiftrsign-rec-pos, intshiftrsign-rec-neg, intshiftright-mone, intshiftright-ls-01, intshiftleft-is-mult-01, cast-law-shift-snd-zr, cast-law-shift-snd-r, cast-law-shift-snd-l, band-one-is-mod2, band-mod256-pos, band-mod256-neg, band-max, band-65535-pos, band-65535-neg, band-63-pos, band-31-pos, band-255-pos, band-255-neg, band-011x-pos,
• int2bits/uint2bits-pos-num is used by intshiftzero-mone, intshiftrzero-prop-01, intshiftrsign-zero, intshiftrsign-rec-pos, intshiftrsign-rec-neg, intshiftright-mone, intshiftright-ls-01, intshiftleft-is-mult-01, cast-law-shift-snd-zr, cast-law-shift-snd-r, cast-law-shift-snd-l, band-mod256-pos, band-mod256-neg, band-65535-pos, band-65535-neg, band-63-pos, band-31-pos, band-255-pos, band-255-neg,
• int2bits/uint2bits-zero is used by bor-2pot-plus, band-011x-pos,
• int2bits/uint2int-01 is used by bor-2pot-plus,
• int2bits/uint2uint-pos is used by intshiftleft-is-mult, bor-2pot-plus,

Used from specification list

• list/bitlista/a is used by intshiftrsign-rec-pos, intshiftrsign-rec-neg, cast-help-comm, bitsor-bi-ones, bitsand-cast,
• list/bitlista/app-06 is used by and-size-one,
• list/bitlista/first-01 is used by shiftright-not-pos-01, intshiftrsign-rec-pos, bxor-flip-one-bit, bitsand-cast, and-size-one,
• list/bitlista/firsteq-01 is used by bxor-flip-one-bit, and-notone-02,
• list/bitlista/lastdiv is used by and-rec,
• list/bitlista/lastdiv-rew is used by and-rec-04, and-rec-03, and-rec-02, and-rec-01,
• list/bitlista/len is used by bxor-flip-one-bit,
• list/bitlista/split-rest is used by bxor-flip-one-bit, bitsor-sgn-in, bitsor-bi-zeroes, bitsor-bi-ones, bitsand-cast-05, bitsand-cast-04, bitsand-cast-01, bitsand-cast, band-011x-is-lastn,
• list/bitlista/Last is used by shiftzero-rec-neg-shorter, shiftzero-by-one-01, shiftzero-by-one, shiftright-rec-pos, or-two-08, or-two-07, or-two-06, or-two-05, or-two-04, or-two-03, or-two-02, or-two-01, or-two, or-rec-08, or-rec-07, or-rec-06, or-rec-05, or-rec-04, or-rec-02, or-rec, or-last, or-invandinv, intshiftzero-mone, intshiftrzero-prop-01, intshiftrsign-zero, intshiftrsign-rec-pos, intshiftrsign-rec-neg, intshiftright-mone, intshiftright-ls-01, intshiftleft-is-mult-01, cast-law-shift-snd-zr, cast-law-shift-snd-r, cast-law-shift-snd-l, bxor-flip-one-bit, bitsxor-zeros, bitsxor-rec-04, bitsxor-rec-03, bitsxor-rec-02, bitsxor-rec-01-01, bitsxor-rec-01, bitsxor-is-orand, bitsxor-empty, bitsxor-append-same-size, bitsor-zeroes-true, bitsor-zeroes-false, bitsor-ones-true, bitsor-ones-false, bitsor-mklist-in, bitsor-first-02, bitsor-first, bitsor-empty, bitsor-com, bitsor-bi-sgn, bitsor-app, bitsand-zeros-01, bitsand-zeros, bitsand-zero-in, bitsand-onein, bitsand-len-true, bitsand-len-false, bitsand-idempotent, bitsand-first-samesize, bitsand-fillsgn, bitsand-app-zeros-01, bitsand-app-zeros, bitsand-app-true, bitsand-app-ones, bitsand-app-false, bitsand-app, band-mod256-pos, band-mod256-neg, band-min, band-max, band-65535-pos, band-65535-neg, band-63-pos, band-31-pos, band-255-pos, band-255-neg, band-011x-pos, and-zerosin, and-two-09, and-two-08, and-two-07, and-two-06, and-two-05, and-two-04, and-two-03, and-two-02, and-two, and-true, and-size-one-01, and-size-one, and-sgn, and-rec-12, and-rec-11, and-rec-10, and-rec-09, and-rec-08, and-rec-07, and-rec-06, and-rec-05, and-rec-03, and-rec-01, and-rec, and-onesin, and-ones, and-notone-01, and-notempty, and-insgn, and-first, and-false, and-com, and-ass, and-011x-neg, add-ones-lelen, add-ones-grlen-02, add-ones-grlen,
• list/bitlista/Nil is used by shiftzero-zero, shiftzero-rec-neg-shorter, shiftzero-rec-neg-longer, shiftright-rec-pos, shiftright-rec-neg, shiftright-not-pos-01, rightshift-zero, or-two, or-rec, or-invandinv, intshiftrsign32, intshiftrsign-zero, intshiftrsign-rec-pos, intshiftrsign-rec-neg, intshiftright-ls-01, bxor-flip-one-bit, bitsxor-is-orand, bitsxor-append-same-size, bitsor-bi-zeroes, bitsor-bi-sgn, bitsor-app, bitsand-cast-01, bitsand-cast, bitsand-app-zeros, bitsand-app-true, bitsand-app-false, bitsand-app, band-max, band-011x-pos, and-zerosin, and-true, and-size-one-01, and-size-one, and-sgn, and-rec, and-onesin, and-insgn, and-ass,
• list/bitlista/Two is used by shiftright-rec-pos, intshiftzero-mone, intshiftrzero-prop-01, intshiftrsign-zero, intshiftrsign-rec-pos, intshiftrsign-rec-neg, intshiftright-mone, intshiftright-ls-01, intshiftleft-is-mult-01, cast-law-shift-snd-zr, cast-law-shift-snd-r, cast-law-shift-snd-l, band-one-is-mod2, band-mod256-pos, band-mod256-neg, band-max, band-65535-pos, band-65535-neg, band-63-pos, band-31-pos, band-255-pos, band-255-neg, band-011x-pos,
• list/bitlista/a is used by shiftzero-zero-size, shiftzero-zero, shiftzero-rec-neg-shorter, shiftzero-rec-neg-longer, shiftzero-pos, shiftzero-not-neg, shiftzero-minus-one, shiftzero-max-neg-01, shiftzero-max-neg, shiftzero-by-one-01, shiftzero-by-one, shiftright-zero, shiftright-rec-pos, shiftright-rec-neg, shiftright-not-pos-01, shiftright-minus-one, rightshift-zero, or-two-08, or-two-07, or-two-06, or-two-05, or-two-04, or-two-03, or-two-02, or-two-01, or-two, or-rec-08, or-rec-07, or-rec-06, or-rec-05, or-rec-04, or-rec-03, or-rec-02, or-rec-01, or-rec, or-last, or-invandinv, longshiftzero-zero, intshiftzero-mone, intshiftrzero-prop-01, intshiftrsign32, intshiftrsign-zero, intshiftrsign-rec-pos, intshiftrsign-rec-neg, intshiftrsign-if, intshiftright-mone, intshiftright-ls-01, intshiftleft-is-mult-01, intshiftleft-is-mult, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-low, cast-mod-neg-high, cast-mod-ls-pos, cast-mod-ls-neg, cast-mod-ls-most, cast-law-shift-snd-zr, cast-law-shift-snd-r, cast-law-shift-snd-l, cast-help-comm, bxor-flip-one-bit, bor-2pot-plus-01, bor-2pot-plus, bitsxor-zeros, bitsxor-rec-04, bitsxor-rec-03, bitsxor-rec-02, bitsxor-rec-01-01, bitsxor-rec-01, bitsxor-is-orand, bitsxor-first, bitsxor-empty, bitsxor-append-same-size, bitsor-zeroes-true, bitsor-zeroes-samelen, bitsor-zeroes-false, bitsor-sgn-in, bitsor-ones-true, bitsor-ones-samelen, bitsor-ones-false, bitsor-mklist-in, bitsor-first-02, bitsor-first-01, bitsor-first, bitsor-empty, bitsor-com, bitsor-bi-zeroes, bitsor-bi-sgn, bitsor-bi-ones, bitsor-app, bitsand-zeros-02, bitsand-zeros-01, bitsand-zeros, bitsand-zero-in, bitsand-onein, bitsand-len-true, bitsand-len-false, bitsand-idempotent, bitsand-first-samesize, bitsand-fillsgn, bitsand-cast-05, bitsand-cast-04, bitsand-cast-01, bitsand-cast, bitsand-app-zeros-01, bitsand-app-zeros, bitsand-app-true, bitsand-app-ones, bitsand-app-false, bitsand-app, band-one-is-mod2, band-neg, band-min, band-max, band-63-pos, band-31-pos, band-011x-pos-02, band-011x-pos-01, band-011x-pos, band-011x-neg-02, band-011x-neg-01, band-011x-neg, band-011x-is-unsigned-fix-01, band-011x-is-unsigned-fix, band-011x-is-unsigned-03, band-011x-is-unsigned-01, band-011x-is-unsigned, band-011x-is-lastn, band-011x-eq, and-zerosin, and-zero-01, and-two-09, and-two-08, and-two-07, and-two-06, and-two-05, and-two-04, and-two-03, and-two-02, and-two, and-true, and-size-one-01, and-size-one, and-sgn, and-rec-12, and-rec-11, and-rec-10, and-rec-09, and-rec-08, and-rec-07, and-rec-06, and-rec-05, and-rec-04, and-rec-03, and-rec-02, and-rec-01, and-rec, and-onesin, and-ones, and-oner, and-onel-02, and-one-01, and-notone-03, and-notone-02, and-notone-01, and-notone, and-notempty-08, and-notempty-07, and-notempty-06, and-notempty-05, and-notempty-04, and-notempty-03, and-notempty-02, and-notempty-01, and-notempty, and-insgn, and-first, and-false, and-com, and-ass, and-011x-neg, add-ones-lelen, add-ones-grlen-02, add-ones-grlen,
• list/bitlista/app is used by shiftzero-pos, shiftzero-by-one, shiftright-rec-pos, shiftright-rec-neg, shiftright-minus-one, or-rec, or-invandinv, longshiftzero-zero, intshiftzero-mone, intshiftrzero-prop-01, intshiftrsign-rec-pos, intshiftrsign-rec-neg, intshiftleft-is-mult-01, intshiftleft-is-mult, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-high, cast-mod-ls-most, bxor-flip-one-bit, bor-2pot-plus-01, bor-2pot-plus, bitsxor-zeros, bitsxor-append-same-size, bitsor-zeroes-false, bitsor-sgn-in, bitsor-ones-false, bitsor-mklist-in, bitsor-first-02, bitsor-first, bitsor-bi-zeroes, bitsor-bi-ones, bitsor-app, bitsand-zeros-02, bitsand-zeros-01, bitsand-zeros, bitsand-onein, bitsand-len-true, bitsand-len-false, bitsand-first-samesize, bitsand-fillsgn, bitsand-cast-01, bitsand-cast, bitsand-app-zeros-01, bitsand-app-zeros, bitsand-app-true, bitsand-app-ones, bitsand-app-false, bitsand-app, band-max, band-011x-pos, band-011x-is-lastn, and-zerosin, and-true, and-size-one-01, and-size-one, and-sgn, and-rec, and-onesin, and-ones, and-notone-01, and-notempty, and-insgn, and-first, and-false, and-com, and-ass, and-011x-neg, add-ones-lelen, add-ones-grlen,
• list/bitlista/app-01 is used by shiftzero-pos, shiftright-rec-pos, or-two-08, or-two-07, or-two-06, or-two-05, or-two-04, or-two-03, or-two-02, or-two-01, or-rec-08, or-rec-07, or-rec-06, or-rec-05, or-last, intshiftrzero-prop-01, bxor-flip-one-bit, bitsxor-first, bitsxor-append-same-size, bitsor-app, bitsand-zeros-01, bitsand-fillsgn, bitsand-cast, bitsand-app, band-one-is-mod2, band-63-pos, band-31-pos, and-two-09, and-two-08, and-two-07, and-two-06, and-two-05, and-two-04, and-two-03, and-two-02, and-two, and-size-one-01, and-rec-12, and-rec-11, and-rec-10, and-rec-09, and-rec-08, and-rec-07, and-rec-06, and-rec-05, and-rec-03, and-rec-01, and-rec, and-ones, and-ass, and-011x-neg, add-ones-lelen, add-ones-grlen-02, add-ones-grlen,
• list/bitlista/app-02-ant is used by shiftzero-zero-size, shiftzero-rec-neg-shorter, shiftzero-rec-neg-longer, shiftzero-pos, shiftzero-not-neg, shiftzero-minus-one, shiftright-rec-pos, shiftright-rec-neg, shiftright-not-pos-01, shiftright-minus-one, or-two-08, or-two-07, or-two-06, or-two-05, or-two-04, or-two-03, intshiftrsign-rec-pos, intshiftrsign-rec-neg, intshiftright-ls-01, cast-help-comm, bxor-flip-one-bit, bor-2pot-plus-01, bor-2pot-plus, bitsxor-empty, bitsor-zeroes-true, bitsor-zeroes-samelen, bitsor-zeroes-false, bitsor-sgn-in, bitsor-ones-true, bitsor-ones-samelen, bitsor-ones-false, bitsor-mklist-in, bitsor-first-02, bitsor-first-01, bitsor-first, bitsor-empty, bitsor-bi-zeroes, bitsor-bi-sgn, bitsor-bi-ones, bitsand-zeros-02, bitsand-zeros, bitsand-onein, bitsand-fillsgn, bitsand-cast-05, bitsand-cast-04, bitsand-cast-01, bitsand-cast, bitsand-app-zeros-01, bitsand-app-zeros, bitsand-app-true, bitsand-app-ones, bitsand-app-false, band-max, band-011x-pos, band-011x-neg, band-011x-is-lastn, and-zero-01, and-true, and-size-one, and-sgn, and-ones, and-oner, and-onel-02, and-one-01, and-notone-01, and-notempty-08, and-notempty-07, and-notempty-05, and-notempty-04, and-notempty-03, and-notempty-02, and-notempty-01, and-notempty, and-insgn, and-first, and-false, and-ass, and-011x-neg, add-ones-lelen, add-ones-grlen,
• list/bitlista/app-03 is used by shiftzero-zero-size, shiftzero-pos, shiftzero-minus-one, or-invandinv, bitsxor-zeros, bitsxor-append-same-size, bitsor-zeroes-true, bitsor-zeroes-false, bitsor-ones-true, bitsor-ones-false, bitsor-app, bitsand-zeros, bitsand-idempotent, bitsand-first-samesize, bitsand-fillsgn, bitsand-cast, bitsand-app-zeros-01, bitsand-app-zeros, bitsand-app-true, bitsand-app-ones, bitsand-app-false, bitsand-app, and-size-one-01, and-sgn, add-ones-lelen, add-ones-grlen,
• list/bitlista/app-04 is used by bitsor-zeroes-true, bitsor-zeroes-false, bitsor-ones-true, bitsor-ones-false, bitsand-app-zeros, and-zerosin, and-true, and-size-one, and-onesin, and-ones, and-notone-01, and-first, add-ones-lelen, add-ones-grlen-02, add-ones-grlen,
• list/bitlista/app-05 is used by and-sgn, add-ones-grlen,
• list/bitlista/app-06 is used by bxor-flip-one-bit, bitsor-com, and-com, and-ass,
• list/bitlista/c is used by shiftzero-zero-size, shiftzero-rec-neg-shorter, shiftzero-rec-neg-longer, shiftzero-minus-one, shiftzero-by-one, shiftright-rec-pos, shiftright-rec-neg, shiftright-minus-one, or-rec, or-invandinv, intshiftrzero-prop-01, intshiftrsign-rec-pos, intshiftrsign-rec-neg, intshiftrsign-if, intshiftright-mone, intshiftright-ls-01, cast-mod-ls-most, bxor-flip-one-bit, bor-2pot-plus, bitsxor-zeros, bitsxor-first, bitsor-zeroes-true, bitsor-zeroes-samelen, bitsor-zeroes-false, bitsor-sgn-in, bitsor-ones-true, bitsor-ones-samelen, bitsor-ones-false, bitsor-first-02, bitsor-first-01, bitsor-bi-zeroes, bitsor-bi-sgn, bitsor-bi-ones, bitsand-zeros-02, bitsand-zeros-01, bitsand-zeros, bitsand-len-true, bitsand-len-false, bitsand-first-samesize, bitsand-fillsgn, bitsand-cast-05, bitsand-cast-04, bitsand-cast-01, bitsand-cast, bitsand-app-true, bitsand-app-false, band-one-is-mod2, band-neg, band-max, band-63-pos, band-31-pos, band-011x-pos, band-011x-neg, band-011x-is-lastn, and-zerosin, and-true, and-size-one-01, and-size-one, and-sgn, and-rec, and-onesin, and-ones, and-one-01, and-notone-03, and-notone-01, and-notone, and-notempty, and-insgn, and-first, and-false, and-com, and-ass, and-011x-neg, add-ones-lelen, add-ones-grlen-02, add-ones-grlen,
• list/bitlista/c-03 is used by shiftright-rec-pos, or-invandinv, bxor-flip-one-bit, bitsxor-zeros, bitsor-zeroes-false, bitsor-ones-true, bitsor-first, bitsand-app-zeros, and-zerosin, and-true, and-size-one, and-sgn, and-onesin, and-ones, and-notone-01, and-notempty, and-insgn, and-first, and-com, and-011x-neg, add-ones-lelen, add-ones-grlen,
• list/bitlista/c-04 is used by or-rec, or-invandinv, bitsxor-is-orand, bitsxor-empty, bitsxor-bit, bitsor-zeroes-true, bitsor-zeroes-false, bitsor-ones-true, bitsor-ones-false, bitsor-mklist-in, bitsor-empty, bitsor-com, bitsor-bi-sgn, bitsor-app, bitsand-zeros-02, bitsand-zeros-01, bitsand-zeros, bitsand-zero-in, bitsand-onein, bitsand-idempotent, bitsand-first-samesize, bitsand-fillsgn, bitsand-app-zeros-01, bitsand-app-zeros, band-max, and-zerosin, and-true, and-size-one, and-sgn, and-rec-04, and-rec-02, and-rec, and-onesin, and-ones, and-one, and-notone-01, and-notempty, and-insgn, and-first, and-com, and-ass, add-ones-grlen-02,
• list/bitlista/c-05 is used by shiftright-rec-pos, bitsor-first, and-true, and-sgn, and-ass, and-011x-neg,
• list/bitlista/c-06 is used by shiftright-rec-pos, intshiftright-ls-01, bitsor-first-02, bitsor-first, bitsand-cast, and-notone-01, and-first, and-false, add-ones-grlen-02,
• list/bitlista/c-07 is used by intshiftrsign-rec-pos, intshiftrsign-rec-neg, intshiftright-ls-01, intshiftleft-is-mult-01, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-high, bxor-flip-one-bit, bitsand-cast-05, band-011x-is-unsigned-fix, band-011x-is-unsigned-03, band-011x-is-unsigned, band-011x-is-lastn,
• list/bitlista/c-08 is used by shiftzero-minus-one, shiftright-rec-pos, intshiftrsign-rec-pos, intshiftrsign-rec-neg, bxor-flip-one-bit, bitsor-zeroes-samelen, bitsor-sgn-in, bitsor-ones-samelen, bitsor-first-01, bitsor-bi-zeroes, bitsor-bi-sgn, bitsor-bi-ones, bitsand-zeros-02, bitsand-fillsgn, bitsand-cast-05, bitsand-cast-04, bitsand-cast-01, bitsand-cast, bitsand-app-zeros, bitsand-app-ones, band-011x-pos, band-011x-neg, band-011x-is-lastn,
• list/bitlista/e is used by shiftright-rec-pos, shiftright-rec-neg, shiftright-minus-one, or-two-08, or-two-07, or-two-06, or-two-05, or-two-04, or-two-03, or-invandinv, intshiftrsign-rec-pos, bxor-flip-one-bit, bitsxor-is-orand, bitsxor-first, bitsxor-empty, bitsxor-bit, bitsor-zeroes-true, bitsor-zeroes-samelen, bitsor-zeroes-false, bitsor-sgn-in, bitsor-ones-true, bitsor-ones-samelen, bitsor-ones-false, bitsor-mklist-in, bitsor-first-02, bitsor-first-01, bitsor-first, bitsor-empty, bitsor-com, bitsor-bi-zeroes, bitsor-bi-sgn, bitsor-bi-ones, bitsor-app, bitsand-zeros-02, bitsand-zeros, bitsand-zero-in, bitsand-onein, bitsand-idempotent, bitsand-first-samesize, bitsand-fillsgn, bitsand-cast-05, bitsand-cast-04, bitsand-cast-01, bitsand-cast, bitsand-app-zeros-01, bitsand-app-zeros, bitsand-app-ones, band-max, band-011x-pos, band-011x-neg, band-011x-is-lastn, and-zerosin, and-zero-01, and-true, and-size-one, and-sgn, and-onesin, and-ones, and-oner, and-onel-02, and-one-01, and-one, and-notone-01, and-notempty-08, and-notempty-07, and-notempty-05, and-notempty-04, and-notempty-03, and-notempty-02, and-notempty-01, and-notempty, and-insgn, and-first, and-false, and-com, and-ass, and-011x-neg, add-ones-lelen, add-ones-grlen-02, add-ones-grlen,
• list/bitlista/e-01 is used by shiftright-rec-pos, or-invandinv, intshiftrsign-rec-pos, intshiftrsign-rec-neg, intshiftright-ls-01, cast-mod-pos-high, cast-mod-neg-high, bxor-flip-one-bit, bitsxor-zeros, bitsxor-first, bitsor-zeroes-true, bitsor-zeroes-samelen, bitsor-zeroes-false, bitsor-sgn-in, bitsor-ones-true, bitsor-ones-samelen, bitsor-ones-false, bitsor-mklist-in, bitsor-first-02, bitsor-first-01, bitsor-first, bitsor-bi-zeroes, bitsor-bi-sgn, bitsor-bi-ones, bitsand-zeros-02, bitsand-zeros-01, bitsand-zeros, bitsand-onein, bitsand-len-true, bitsand-len-false, bitsand-first-samesize, bitsand-fillsgn, bitsand-cast-05, bitsand-cast-04, bitsand-cast-01, bitsand-cast, bitsand-app-zeros-01, bitsand-app-zeros, bitsand-app-true, bitsand-app-ones, bitsand-app-false, band-max, band-011x-pos, band-011x-neg, band-011x-is-lastn, and-zerosin, and-true, and-size-one-01, and-size-one, and-sgn, and-onesin, and-ones, and-one-01, and-notone-01, and-notempty, and-insgn, and-first, and-false, and-com, and-011x-neg, add-ones-lelen, add-ones-grlen-02, add-ones-grlen,
• list/bitlista/e-02 is used by shiftright-rec-pos, shiftright-rec-neg, shiftright-minus-one, or-rec, or-invandinv, bxor-flip-one-bit, bitsxor-zeros, bitsxor-rec-01, bitsxor-is-orand, bitsxor-append-same-size, bitsor-zeroes-true, bitsor-zeroes-false, bitsor-ones-true, bitsor-ones-false, bitsor-mklist-in, bitsor-first-02, bitsor-first, bitsor-com, bitsor-bi-sgn, bitsor-app, bitsand-zeros-01, bitsand-zeros, bitsand-zero-in, bitsand-onein, bitsand-len-true, bitsand-len-false, bitsand-idempotent, bitsand-first-samesize, bitsand-fillsgn, bitsand-app-zeros-01, bitsand-app-zeros, bitsand-app-true, bitsand-app-ones, bitsand-app-false, bitsand-app, and-zerosin, and-size-one-01, and-size-one, and-sgn, and-rec, and-onesin, and-ones, and-insgn, and-false, and-ass, and-011x-neg, add-ones-lelen, add-ones-grlen-02, add-ones-grlen,
• list/bitlista/e-03 is used by bxor-flip-one-bit, bitsor-sgn-in, bitsand-onein, bitsand-cast-05, bitsand-cast, bitsand-app-zeros-01, bitsand-app-zeros,
• list/bitlista/eq-04 is used by bxor-flip-one-bit,
• list/bitlista/eq-05 is used by bxor-flip-one-bit,
• list/bitlista/first is used by shiftright-zero, shiftright-rec-neg, shiftright-minus-one, rightshift-zero, or-rec, or-invandinv, intshiftrsign-rec-pos, bxor-flip-one-bit, and-zerosin, and-true, and-size-one, and-sgn, and-rec, and-onesin, and-insgn, and-ass, add-ones-grlen-02,
• list/bitlista/first-01 is used by or-invandinv, bxor-flip-one-bit, bitsor-bi-zeroes, bitsand-cast, and-sgn, and-rec, and-onesin, and-insgn, and-ass,
• list/bitlista/first-02 is used by shiftright-rec-pos, bxor-flip-one-bit,
• list/bitlista/in-06 is used by intshiftrsign-rec-pos, intshiftrsign-rec-neg, intshiftright-ls-01, bitsxor-zeros, bitsor-sgn-in, bitsor-mklist-in, bitsor-bi-zeroes, bitsor-bi-sgn, bitsand-onein, bitsand-app-zeros-01, bitsand-app-zeros, and-zerosin, and-onesin, and-ones, add-ones-lelen, add-ones-grlen,
• list/bitlista/in-10 is used by bitsor-sgn-in, bitsor-mklist-in, bitsor-bi-sgn, bitsor-bi-ones, bitsand-onein, and-ones, add-ones-lelen, add-ones-grlen,
• list/bitlista/in-11 is used by bxor-flip-one-bit,
• list/bitlista/in-12 is used by shiftright-rec-pos, intshiftright-ls-01, bxor-flip-one-bit, bitsand-onein,
• list/bitlista/in-13 is used by bxor-flip-one-bit, bitsor-sgn-in, bitsand-cast,
• list/bitlista/in-14 is used by shiftright-rec-pos, shiftright-minus-one, intshiftrzero-prop-01, intshiftrsign-if, intshiftright-ls-01, bxor-flip-one-bit, bor-2pot-plus, bitsor-sgn-in, bitsor-first-02, bitsor-first-01, bitsor-first, bitsor-bi-sgn, bitsand-zeros-01, bitsand-cast-05, bitsand-cast, band-one-is-mod2, band-neg, band-63-pos, band-31-pos, band-011x-pos, band-011x-neg, and-ones, and-one-01, and-notone-03, and-notone-02, and-notone-01, and-first, and-false, and-011x-neg, add-ones-grlen-02,
• list/bitlista/in-15 is used by shiftright-rec-pos, shiftright-minus-one, intshiftrzero-prop-01, bxor-flip-one-bit, bitsor-first-02, bitsor-first, band-63-pos, band-31-pos, band-011x-is-lastn, and-rec, and-notone-01, and-first, and-false, and-011x-neg,
• list/bitlista/in-17 is used by shiftright-zero, shiftright-rec-pos, shiftright-minus-one, longshiftzero-zero, intshiftrzero-prop-01, intshiftrsign-rec-pos, intshiftrsign-rec-neg, intshiftright-ls-01, intshiftleft-is-mult-01, bxor-flip-one-bit, bor-2pot-plus, bitsxor-zeros, bitsor-zeroes-true, bitsor-zeroes-false, bitsor-sgn-in, bitsor-ones-true, bitsor-ones-false, bitsor-mklist-in, bitsor-first-02, bitsor-first-01, bitsor-first, bitsor-bi-sgn, bitsand-zeros-01, bitsand-zeros, bitsand-zero-in, bitsand-onein, bitsand-cast-05, bitsand-cast, bitsand-app-zeros-01, bitsand-app-zeros, bitsand-app-ones, band-one-is-mod2, band-neg, band-63-pos, band-31-pos, band-011x-pos, band-011x-neg, and-zerosin, and-rec, and-onesin, and-ones, and-one-01, and-notone-01, and-insgn, and-first, and-false, and-011x-neg, add-ones-lelen, add-ones-grlen-02, add-ones-grlen,
• list/bitlista/in-append is used by shiftright-zero, shiftright-rec-pos, shiftright-minus-one, longshiftzero-zero, intshiftrzero-prop-01, intshiftrsign-rec-pos, intshiftrsign-rec-neg, intshiftright-ls-01, intshiftleft-is-mult-01, bxor-flip-one-bit, bor-2pot-plus, bitsxor-zeros, bitsor-zeroes-true, bitsor-zeroes-false, bitsor-sgn-in, bitsor-ones-true, bitsor-ones-false, bitsor-mklist-in, bitsor-first-02, bitsor-first-01, bitsor-first, bitsor-bi-zeroes, bitsor-bi-sgn, bitsor-bi-ones, bitsand-zeros-01, bitsand-zeros, bitsand-zero-in, bitsand-onein, bitsand-cast-05, bitsand-cast, bitsand-app-zeros-01, bitsand-app-zeros, bitsand-app-ones, band-one-is-mod2, band-neg, band-63-pos, band-31-pos, band-011x-pos, band-011x-neg, and-zerosin, and-rec, and-onesin, and-ones, and-one-01, and-notone-02, and-notone-01, and-insgn, and-first, and-false, and-011x-neg, add-ones-lelen, add-ones-grlen-02, add-ones-grlen,
• list/bitlista/in-empty is used by bitsxor-zeros, bitsor-sgn-in, bitsor-first-02, bitsor-first, bitsor-bi-zeroes, bitsor-bi-ones, and-zerosin, and-onesin, and-011x-neg, add-ones-lelen, add-ones-grlen,
• list/bitlista/inapp-07 is used by shiftright-rec-pos, bitsor-first, and-011x-neg,
• list/bitlista/inapp-08 is used by bxor-flip-one-bit,
• list/bitlista/len is used by shiftzero-zero-size, shiftzero-rec-neg-shorter, shiftzero-rec-neg-longer, shiftzero-pos, shiftzero-minus-one, shiftzero-max-neg-01, shiftzero-max-neg, shiftzero-by-one-01, shiftzero-by-one, shiftright-zero, shiftright-rec-pos, shiftright-rec-neg, or-two-02, or-two-01, or-last, or-invandinv, longshiftzero-zero, intshiftzero-mone, intshiftrzero-prop-01, intshiftrsign-rec-pos, intshiftrsign-rec-neg, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-low, cast-mod-neg-high, cast-mod-ls-pos, cast-mod-ls-neg, cast-mod-ls-most, cast-law-shift-snd-zr, cast-law-shift-snd-r, cast-law-shift-snd-l, cast-help-comm, bxor-flip-one-bit, bor-2pot-plus-01, bor-2pot-plus, bitsxor-zeros, bitsxor-rec-01, bitsxor-is-orand, bitsxor-first, bitsxor-append-same-size, bitsor-zeroes-true, bitsor-zeroes-samelen, bitsor-zeroes-false, bitsor-sgn-in, bitsor-ones-true, bitsor-ones-samelen, bitsor-ones-false, bitsor-mklist-in, bitsor-first-02, bitsor-first, bitsor-com, bitsor-bi-zeroes, bitsor-bi-sgn, bitsor-bi-ones, bitsor-app, bitsand-zeros-02, bitsand-zeros-01, bitsand-zeros, bitsand-zero-in, bitsand-onein, bitsand-len-true, bitsand-len-false, bitsand-idempotent, bitsand-first-samesize, bitsand-fillsgn, bitsand-cast-05, bitsand-cast-04, bitsand-cast-01, bitsand-cast, bitsand-app-zeros-01, bitsand-app-zeros, bitsand-app-true, bitsand-app-ones, bitsand-app-false, bitsand-app, band-min, band-max, band-011x-pos-02, band-011x-pos-01, band-011x-pos, band-011x-neg-02, band-011x-neg-01, band-011x-is-unsigned-fix-01, band-011x-is-unsigned-fix, band-011x-is-unsigned-03, band-011x-is-unsigned-01, band-011x-is-lastn, band-011x-eq, and-zerosin, and-two, and-size-one-01, and-size-one, and-sgn, and-rec-09, and-rec-08, and-rec-07, and-rec-06, and-onesin, and-ones, and-notone-01, and-insgn, and-first, and-false, and-ass, and-011x-neg, add-ones-lelen, add-ones-grlen-02, add-ones-grlen,
• list/bitlista/len-02 is used by shiftzero-zero-size, shiftzero-rec-neg-shorter, shiftzero-rec-neg-longer, shiftzero-minus-one, shiftzero-max-neg-01, shiftzero-max-neg, shiftzero-by-one-01, shiftzero-by-one, shiftright-zero, shiftright-rec-pos, shiftright-rec-neg, shiftright-neg-mone, shiftright-minus-one, rightshift-zero, or-two-02, or-two-01, or-last, or-invandinv, longshiftzero-zero, intshiftzero-mone, intshiftrzero-prop-01, intshiftrsign-zero-01, intshiftrsign-rec-pos, intshiftrsign-rec-neg, intshiftright-mone, intshiftright-ls-01, cast-size-fits-01, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-low, cast-mod-neg-high, cast-mod-ls-pos, cast-mod-ls-neg, cast-mod-ls-most, cast-law-shift-snd-zr, cast-law-shift-snd-r, cast-law-shift-snd-l, bxor-flip-one-bit, bor-2pot-plus-01, bor-2pot-plus, bitsxor-zeros, bitsxor-rec-01, bitsxor-is-orand, bitsxor-first, bitsxor-empty, bitsxor-append-same-size, bitsor-zeroes-true, bitsor-zeroes-samelen, bitsor-zeroes-false, bitsor-sgn-in, bitsor-ones-true, bitsor-ones-samelen, bitsor-ones-false, bitsor-mklist-in, bitsor-first-02, bitsor-first, bitsor-empty, bitsor-com, bitsor-bi-zeroes, bitsor-bi-sgn, bitsor-bi-ones, bitsor-app, bitsand-zeros-02, bitsand-zeros-01, bitsand-zeros, bitsand-zero-in, bitsand-onein, bitsand-len-true, bitsand-len-false, bitsand-idempotent, bitsand-first-samesize, bitsand-fillsgn, bitsand-cast-05, bitsand-cast-04, bitsand-cast-01, bitsand-cast, bitsand-app-zeros-01, bitsand-app-zeros, bitsand-app-true, bitsand-app-ones, bitsand-app-false, bitsand-app, band-min, band-max, band-011x-pos-02, band-011x-pos-01, band-011x-pos, band-011x-neg-02, band-011x-neg-01, band-011x-is-unsigned-fix-01, band-011x-is-unsigned-fix, band-011x-is-unsigned-03, band-011x-is-unsigned-01, band-011x-is-unsigned, band-011x-is-lastn, band-011x-eq, and-zerosin, and-two, and-size-one-01, and-size-one, and-sgn, and-rec-09, and-rec-08, and-rec-07, and-rec-06, and-onesin, and-ones, and-notone-01, and-insgn, and-first, and-false, and-ass, and-011x-neg, add-ones-lelen, add-ones-grlen-02, add-ones-grlen,
• list/bitlista/ni is used by shiftright-rec-pos, bxor-flip-one-bit, and-011x-neg,
• list/bitlista/rest is used by cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-high,
• list/bitlista/rest-01 is used by intshiftrsign-rec-pos, bxor-flip-one-bit,

Used from specification nat-basic2

• nat-basic2/a is used by shiftzero-zero-size, shiftzero-rec-neg-shorter, shiftzero-rec-neg-longer, shiftzero-pos, shiftzero-minus-one, shiftzero-max-neg-01, shiftzero-max-neg, shiftzero-by-one-01, shiftzero-by-one, shiftright-zero, shiftright-rec-pos, shiftright-rec-neg, or-two-02, or-two-01, or-last, or-invandinv, longshiftzero-zero, intshiftrzero-prop-01, intshiftrsign32, intshiftrsign-rec-pos, intshiftrsign-rec-neg, intshiftrsign-if, intshiftright-ls-01, cast-size-fits, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-low, cast-mod-neg-high, cast-mod-ls-pos, cast-mod-ls-neg, cast-mod-ls-most, cast-min, cast-max, cast-law-shift-snd-l, cast-help-comm, cast-band, bxor-flip-one-bit, bor-2pot-plus-01, bor-2pot-plus, bitsxor-zeros, bitsxor-rec-01, bitsxor-is-orand, bitsxor-first, bitsxor-append-same-size, bitsor-zeroes-true, bitsor-zeroes-samelen, bitsor-zeroes-false, bitsor-sgn-in, bitsor-ones-true, bitsor-ones-samelen, bitsor-ones-false, bitsor-mklist-in, bitsor-first-02, bitsor-first, bitsor-com, bitsor-bi-zeroes, bitsor-bi-sgn, bitsor-bi-ones, bitsor-app, bitsand-zeros-02, bitsand-zeros-01, bitsand-zeros, bitsand-zero-in, bitsand-onein, bitsand-len-true, bitsand-len-false, bitsand-idempotent, bitsand-first-samesize, bitsand-fillsgn, bitsand-cast-05, bitsand-cast-04, bitsand-cast-01, bitsand-cast, bitsand-app-zeros-01, bitsand-app-zeros, bitsand-app-true, bitsand-app-ones, bitsand-app-false, bitsand-app, band-min-02, band-min, band-max, band-011x-pos-02, band-011x-pos-01, band-011x-pos, band-011x-neg-02, band-011x-neg-01, band-011x-is-unsigned-fix-01, band-011x-is-unsigned-fix, band-011x-is-unsigned-03, band-011x-is-unsigned-01, band-011x-is-lastn, band-011x-eq, and-zerosin, and-size-one-01, and-size-one, and-sgn, and-rec-09, and-rec-08, and-rec-07, and-rec-06, and-onesin, and-ones, and-notone-01, and-insgn, and-first, and-false, and-com, and-ass, and-011x-neg, add-ones-lelen, add-ones-grlen-02, add-ones-grlen,
• nat-basic2/add-base is used by intshiftrsign32,
• nat-basic2/c is used by shiftzero-zero-size, shiftzero-rec-neg-shorter, shiftzero-rec-neg-longer, shiftzero-pos, shiftzero-minus-one, shiftzero-max-neg-01, shiftzero-max-neg, shiftzero-by-one-01, shiftzero-by-one, shiftright-zero, shiftright-rec-pos, shiftright-rec-neg, or-two-02, or-two-01, or-last, or-invandinv, longshiftzero-zero, intshiftrzero-prop-01, intshiftrsign32, intshiftrsign-rec-pos, intshiftrsign-rec-neg, intshiftrsign-if, intshiftright-ls-01, cast-size-fits, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-low, cast-mod-neg-high, cast-mod-ls-pos, cast-mod-ls-neg, cast-mod-ls-most, cast-min, cast-max, cast-law-shift-snd-l, cast-help-comm, cast-band, bxor-flip-one-bit, bor-2pot-plus-01, bor-2pot-plus, bitsxor-zeros, bitsxor-rec-01, bitsxor-is-orand, bitsxor-first, bitsxor-append-same-size, bitsor-zeroes-true, bitsor-zeroes-samelen, bitsor-zeroes-false, bitsor-sgn-in, bitsor-ones-true, bitsor-ones-samelen, bitsor-ones-false, bitsor-mklist-in, bitsor-first-02, bitsor-first, bitsor-com, bitsor-bi-zeroes, bitsor-bi-sgn, bitsor-bi-ones, bitsor-app, bitsand-zeros-02, bitsand-zeros-01, bitsand-zeros, bitsand-zero-in, bitsand-onein, bitsand-len-true, bitsand-len-false, bitsand-idempotent, bitsand-first-samesize, bitsand-fillsgn, bitsand-cast-05, bitsand-cast-04, bitsand-cast-01, bitsand-cast, bitsand-app-zeros-01, bitsand-app-zeros, bitsand-app-true, bitsand-app-ones, bitsand-app-false, bitsand-app, band-min-02, band-min, band-max, band-011x-pos-02, band-011x-pos-01, band-011x-pos, band-011x-neg-02, band-011x-neg-01, band-011x-is-unsigned-fix-01, band-011x-is-unsigned-fix, band-011x-is-unsigned-03, band-011x-is-unsigned-01, band-011x-is-lastn, band-011x-eq, and-zerosin, and-size-one-01, and-size-one, and-sgn, and-rec-09, and-rec-08, and-rec-07, and-rec-06, and-onesin, and-ones, and-notone-01, and-insgn, and-first, and-false, and-com, and-ass, and-011x-neg, add-ones-lelen, add-ones-grlen-02, add-ones-grlen,
• nat-basic2/eq is used by bxor-flip-one-bit, bor-2pot-plus-01, bitsand-cast-05, band-011x-is-lastn,
• nat-basic2/eq-01 is used by cast-mod-pos-high, cast-mod-neg-low, cast-mod-neg-high, cast-help-comm, bxor-flip-one-bit, bor-2pot-plus, bitsxor-first, bitsor-app, bitsand-len-true, bitsand-len-false, bitsand-first-samesize, bitsand-cast-05, bitsand-cast-04, bitsand-cast, bitsand-app, band-min, band-011x-is-lastn, and-size-one-01, add-ones-grlen,
• nat-basic2/eqs is used by intshiftrsign32,
• nat-basic2/l is used by shiftzero-pos, shiftright-rec-neg, cast-help-comm, cast-band, bitsor-sgn-in, bitsor-bi-zeroes, bitsor-bi-ones, bitsand-fillsgn, bitsand-cast-05, bitsand-cast-01, bitsand-cast, bitsand-app-true, bitsand-app-false, band-011x-is-unsigned-fix, and-ones, and-notone-01, add-ones-lelen, add-ones-grlen-02,
• nat-basic2/l-01 is used by shiftzero-pos, intshiftrsign32, intshiftrsign-if, cast-help-comm, bor-2pot-plus-01, bitsand-fillsgn, bitsand-cast-05, bitsand-cast-04, bitsand-cast-01, bitsand-cast,
• nat-basic2/l-02 is used by shiftzero-rec-neg-shorter, shiftzero-rec-neg-longer, shiftzero-max-neg, shiftright-zero, shiftright-rec-pos, longshiftzero-zero, intshiftrzero-prop-01, intshiftrsign32, intshiftrsign-rec-pos, intshiftrsign-rec-neg, cast-mod-pos-low, bor-2pot-plus-01, bitsor-sgn-in, bitsor-bi-zeroes, bitsor-bi-ones, bitsand-zeros-01, bitsand-zeros, bitsand-fillsgn, bitsand-cast-05, bitsand-cast-01, bitsand-cast, add-ones-grlen,
• nat-basic2/l-08 is used by bitsand-cast,
• nat-basic2/one is used by shiftright-rec-neg, or-invandinv, cast-mod-pos-high, cast-mod-neg-high, bxor-flip-one-bit, bitsxor-zeros, bitsxor-rec-01, bitsxor-is-orand, bitsxor-first, bitsxor-append-same-size, bitsor-zeroes-true, bitsor-zeroes-false, bitsor-ones-true, bitsor-ones-false, bitsor-mklist-in, bitsor-first-02, bitsor-first, bitsor-com, bitsor-bi-zeroes, bitsor-bi-sgn, bitsor-app, bitsand-zeros-01, bitsand-zeros, bitsand-zero-in, bitsand-onein, bitsand-len-true, bitsand-len-false, bitsand-idempotent, bitsand-first-samesize, bitsand-fillsgn, bitsand-cast-05, bitsand-cast, bitsand-app-zeros-01, bitsand-app-zeros, bitsand-app-true, bitsand-app-ones, bitsand-app-false, bitsand-app, band-min, band-max, band-011x-pos, band-011x-is-lastn, and-size-one-01, and-size-one, and-sgn, and-ones, and-notone-01, and-insgn, and-first, and-false, and-ass, and-011x-neg, add-ones-grlen-02, add-ones-grlen,
• nat-basic2/one-01 is used by bitsor-mklist-in,
• nat-basic2/one-02 is used by bxor-flip-one-bit,
• nat-basic2/one-03 is used by shiftright-rec-neg, or-last, or-invandinv, intshiftrsign-rec-pos, intshiftright-ls-01, cast-mod-pos-high, cast-mod-neg-high, bxor-flip-one-bit, bor-2pot-plus-01, bitsxor-is-orand, bitsxor-append-same-size, bitsor-zeroes-true, bitsor-zeroes-false, bitsor-ones-true, bitsor-ones-false, bitsor-mklist-in, bitsor-first-02, bitsor-first, bitsor-bi-sgn, bitsor-app, bitsand-zeros-01, bitsand-zeros, bitsand-onein, bitsand-len-true, bitsand-len-false, bitsand-first-samesize, bitsand-fillsgn, bitsand-cast-05, bitsand-app-zeros-01, bitsand-app-zeros, bitsand-app-true, bitsand-app-ones, bitsand-app-false, bitsand-app, band-min, band-max, band-011x-pos, band-011x-is-lastn, and-size-one-01, and-sgn, and-rec-09, and-rec-06, and-ones, and-notone-01, and-insgn, and-first, and-false, and-ass, and-011x-neg, add-ones-grlen,
• nat-basic2/oz is used by shiftzero-rec-neg-shorter, shiftzero-rec-neg-longer, shiftzero-max-neg, shiftzero-by-one, shiftright-rec-pos, shiftright-rec-neg, or-last, or-invandinv, intshiftrsign-rec-pos, intshiftrsign-rec-neg, intshiftrsign-if, cast-mod-neg-low, cast-mod-neg-high, cast-law-shift-snd-l, cast-band, bxor-flip-one-bit, bitsxor-is-orand, bitsxor-first, bitsxor-append-same-size, bitsor-zeroes-true, bitsor-zeroes-false, bitsor-ones-true, bitsor-ones-false, bitsor-mklist-in, bitsor-first-02, bitsor-first, bitsor-bi-sgn, bitsor-app, bitsand-zeros-01, bitsand-zeros, bitsand-onein, bitsand-len-true, bitsand-len-false, bitsand-first-samesize, bitsand-fillsgn, bitsand-cast-05, bitsand-cast, bitsand-app-zeros-01, bitsand-app-zeros, bitsand-app-true, bitsand-app-ones, bitsand-app-false, bitsand-app, band-min, band-max, band-011x-pos, band-011x-is-unsigned-fix, band-011x-is-lastn, and-size-one-01, and-size-one, and-sgn, and-rec-09, and-rec-06, and-ones, and-notone-01, and-insgn, and-first, and-false, and-ass, and-011x-neg, add-ones-grlen,
• nat-basic2/pred is used by shiftzero-rec-neg-shorter, shiftzero-by-one, shiftright-rec-pos, intshiftrsign-rec-neg, intshiftrsign-if, cast-mod-pos-low, cast-mod-neg-high, bitsand-fillsgn,
• nat-basic2/s is used by shiftzero-rec-neg-shorter, shiftzero-rec-neg-longer, shiftzero-max-neg-01, shiftzero-max-neg, shiftright-rec-pos, or-invandinv, intshiftrsign-rec-pos, cast-mod-pos-low, cast-mod-neg-low, cast-mod-neg-high, bxor-flip-one-bit, bor-2pot-plus-01, bitsxor-zeros, bitsxor-is-orand, bitsxor-append-same-size, bitsor-zeroes-true, bitsor-zeroes-false, bitsor-ones-true, bitsor-ones-false, bitsor-mklist-in, bitsor-first-02, bitsor-first, bitsor-com, bitsor-bi-sgn, bitsor-app, bitsand-zeros-01, bitsand-zeros, bitsand-zero-in, bitsand-onein, bitsand-len-true, bitsand-len-false, bitsand-idempotent, bitsand-first-samesize, bitsand-fillsgn, bitsand-cast-05, bitsand-cast-04, bitsand-app-zeros-01, bitsand-app-zeros, bitsand-app-true, bitsand-app-ones, bitsand-app-false, bitsand-app, band-011x-is-lastn, and-zerosin, and-size-one-01, and-size-one, and-sgn, and-onesin, and-ones, and-notone-01, and-insgn, and-first, and-false, and-com, and-ass, and-011x-neg, add-ones-lelen, add-ones-grlen-02, add-ones-grlen,
• nat-basic2/succ is used by shiftzero-pos, cast-help-comm, bxor-flip-one-bit, bitsor-sgn-in, bitsor-bi-zeroes, bitsor-bi-ones, bitsand-cast-01, bitsand-cast, band-min-01, band-bitlength, band-011x-is-unsigned-fix,
• nat-basic2/z is used by shiftzero-rec-neg-shorter, shiftzero-rec-neg-longer, shiftzero-pos, shiftzero-by-one-01, intshiftrsign-rec-pos, intshiftrsign-rec-neg, intshiftrsign-if, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-low, cast-mod-neg-high, cast-help-comm, bxor-flip-one-bit, bor-2pot-plus-01, bitsxor-append-same-size, bitsor-mklist-in, bitsand-fillsgn, bitsand-cast, bitsand-app-true, bitsand-app-false, bitsand-app, band-011x-pos-02, band-011x-pos-01, band-011x-pos, band-011x-neg-02, band-011x-neg-01, band-011x-is-unsigned-fix-01, band-011x-is-unsigned-fix, band-011x-is-unsigned-03, band-011x-is-unsigned-01, band-011x-eq, and-size-one, add-ones-grlen,
• nat-basic2/z-01 is used by shiftright-rec-neg, or-two-02, or-two-01, bxor-flip-one-bit, bitsxor-append-same-size, bitsor-mklist-in, bitsor-app, bitsand-onein, bitsand-first-samesize, bitsand-cast, bitsand-app-zeros-01, bitsand-app-zeros, bitsand-app-true, bitsand-app-ones, bitsand-app-false, bitsand-app, and-size-one-01, and-size-one, and-rec-08, and-rec-07, add-ones-grlen,

Used from specification intnat

• intnat/abs-succ-02 is used by shiftright-rec-neg, cast-min, cast-max,
• intnat/n2i-sub is used by shiftzero-max-neg-01, shiftzero-max-neg, intshiftrzero-prop-01, cast-mod-ls-most,
• intnat/num-i2n-eq is used by bor-2pot-plus-01, band-011x-is-unsigned-03,
• intnat/num-n2i-ls-02 is used by cast-size-fits-01,
• intnat/num-n2i-ls-04 is used by cast-size-fits,
• intnat/num-n2i-ls-06 is used by band-011x-is-unsigned-01,
• intnat/rax-01 is used by intshiftrsign-rec-neg, cast-mod-ls-most,
• intnat/sub is used by intshiftrzero-prop-01,
• intnat/abs is used by shiftright-rec-neg, shiftright-abs,
• intnat/abs-eq is used by shiftright-rec-neg, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-low, cast-mod-neg-high,
• intnat/abs-pred is used by shiftright-shift, shiftright-rec-8-neg, intshiftrsign-2pot-pos, intshiftrsign-2pot-neg-01, intshiftrsign-2pot-neg,
• intnat/abs-succ-03 is used by cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-low, cast-mod-neg-high,
• intnat/abs-zero is used by shiftzero-zero-size, shiftzero-rec-neg-shorter, shiftzero-rec-neg-longer, shiftzero-pos, shiftzero-not-neg, shiftzero-minus-one, shiftright-rec-pos, shiftright-rec-neg, shiftright-not-pos-01, shiftright-neg-mone, shiftright-minus-one, intshiftrzero-prop-01, intshiftrsign32, intshiftrsign-rec-pos, intshiftrsign-rec-neg, intshiftright-ls-01, intshiftleft-is-mult-01, intshiftleft-is-mult, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-low, cast-mod-neg-high, cast-mod-ls-most, cast-length, cast-law-and-one, cast-law-absorption, cast-help-comm, cast-band, bxor-flip-one-bit, bor-2pot-plus-01, bor-2pot-plus, band-011x-pos, band-011x-neg, band-011x-is-unsigned-fix, band-011x-is-unsigned, band-011x-is-lastn,
• intnat/i2i-pos is used by intshiftrzero-prop-01, intshiftleft-is-mult, cast-size-fits-01, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-low, cast-mod-neg-high, cast-mod-ls-pos, cast-mod-ls-neg, cast-mod-ls-most, bxor-flip-one-bit, bor-2pot-plus-01, bor-2pot-plus, band-011x-is-unsigned,
• intnat/i2i-pos-01 is used by intshiftleft-is-mult, cast-size-fits, bxor-flip-one-bit, bor-2pot-plus, band-011x-neg, band-011x-is-unsigned-03,
• intnat/ini2-abs is used by shiftright-neg-mone, intshiftleft-is-mult-01, band-011x-pos-02, band-011x-pos-01, band-011x-neg-02, band-011x-neg-01, band-011x-is-unsigned-03, band-011x-eq,
• intnat/inni-ls is used by cast-band,
• intnat/labs is used by shiftzero-max-neg-01, shiftzero-max-neg, shiftright-pos-div, shiftright-neg-div, shiftright-is-le, intshiftrsign-if, cast-mod-neg-high, cast-help-comm, bxor-flip-one-bit, band-min, band-max, band-011x-pos, band-011x-is-unsigned-fix, band-011x-is-lastn,
• intnat/labs-01 is used by shiftzero-pos, cast-length, cast-law-absorption, cast-help-comm, band-011x-is-lastn,
• intnat/le is used by shiftzero-max-neg-01, band-min-02,
• intnat/ls-int-ls-nat is used by shiftzero-max-neg-01, shiftzero-max-neg,
• intnat/minus-one is used by shiftzero-max-neg,
• intnat/n2i-add is used by shiftzero-max-neg, cast-size-fits, cast-mod-pos-low, cast-mod-pos-high, cast-mod-neg-low, cast-mod-neg-high, bor-2pot-plus-01, band-min, band-011x-is-unsigned-03, and-011x-neg,
• intnat/n2n is used by shiftzero-minus-one, bits2int-is-cast-01, bits2int-is-cast, band-011x-is-unsigned-fix, band-011x-is-unsigned-03,
• intnat/nat2int is used by shiftzero-minus-one, shiftzero-max-neg-01, shiftzero-max-neg, bor-2pot-plus-01, bor-2pot-plus, band-min, band-011x-is-unsigned-fix, band-011x-is-unsigned-03, and-011x-neg,
• intnat/nat2int-06 is used by band-min,
• intnat/nat2int-10 is used by cast-size-fits, cast-band,
• intnat/num-i2n-eq is used by shiftzero-rec-neg-shorter, shiftzero-rec-neg-longer, intshiftrzero-prop-01, cast-mod-ls-most, bxor-flip-one-bit, band-011x-pos,
• intnat/num-i2n-le is used by intshiftrzero-prop-01, intshiftrsign32, cast-mod-ls-most, bor-2pot-plus-01, bor-2pot-plus,
• intnat/num-i2n-le-02 is used by shiftzero-max-neg-01, shiftzero-max-neg, intshiftrsign-zero-01, cast-mod-neg-high, cast-mod-ls-most, band-011x-is-unsigned-fix, band-011x-is-unsigned-01,
• intnat/num-i2n-ls is used by intshiftrsign32, cast-mod-pos-low, cast-mod-neg-high, cast-mod-ls-pos, cast-mod-ls-neg, band-011x-is-unsigned,
• intnat/num-n2i-ls-02 is used by shiftzero-max-neg-01, cast-size-fits-01, cast-law-shift-snd-l, band-min-02, band-011x-is-unsigned-03, band-011x-is-unsigned-01,
• intnat/rax is used by band-011x-pos,
• intnat/rax-01 is used by shiftzero-rec-neg-shorter, shiftzero-rec-neg-longer, shiftzero-max-neg-01, shiftzero-max-neg,
• intnat/rax-04 is used by shiftright-rec-pos, intshiftrsign-rec-pos, cast-size-fits, bxor-flip-one-bit,