(BVCHOP-OF-1-WHEN-BITP)
(BITP-WHEN-EQUAL-OF-GETBIT-1)
(BITP-WHEN-EQUAL-OF-GETBIT-2)
(BITP-WHEN-EQUAL-OF-BITXOR-1)
(BITP-WHEN-EQUAL-OF-BITXOR-2)
(BITP-WHEN-EQUAL-OF-BITAND-1)
(BITP-WHEN-EQUAL-OF-BITAND-2)
(BITP-WHEN-EQUAL-1)
(BITP-WHEN-EQUAL-2)
