(C::BOOLEAN-FROM-SINT-OF-0)
(C::BOOLEAN-FROM-SINT-OF-1)
(C::LOGNOT-SINT-OF-0)
(C::LOGNOT-SINT-OF-1)
(C::BOOLEAN-FROM-SINT-OF-SINT-FROM-BOOLEAN
 (2 2 (:REWRITE-QUOTED-CONSTANT C::SINT-INTEGER-FIX-UNDER-SINT-INTEGER-EQUIV))
 )
