(assert (= 16 (logand 31 16)))
(assert (= 24 (logand 31 25 24)))