(TREESET::RANDOM-BOOLEAN)
(TREESET::RANDOM-U-FIXNUM)
(TREESET::SET-SHUFFLED-ELEMENTS)
(TREESET::MK-RANDOM-U-FIXNUM-SET-ACC)
(TREESET::MK-RANDOM-U-FIXNUM-SET)
(TREESET::MK-RANDOM-U-FIXNUM-OSET)
(TREESET::GET-U-FIXNUM-NOT-IN)
(TREESET::GET-U-FIXNUM-IN)
(TREESET::MK-U-FIXNUM-LIST-IN-PROB-ACC)
(TREESET::BIG-SET-SHUFFLE)
(TREESET::MK-U-FIXNUM-LIST-IN-PROB)
