Definition: *atc-boolean-from-sint*
(defconst *atc-boolean-from-sint* '(boolean-from-sint-of-0 boolean-from-sint-of-1))