(XOR-ASSOCIATIVE)
(XOR-NIL)
(MYNOT)
(XOR-T)
(MYNOT-MYNOT)
(XOR-OF-MYNOT-1)
(XOR-OF-MYNOT-2)
(XOR-WHEN-EQUAL)
(XOR-EQUAL-HACK
 (1 1 (:REWRITE XOR-WHEN-EQUAL))
 )
(XOR-COMBINE-CONSTANTS
 (8 8 (:REWRITE XOR-WHEN-EQUAL))
 )
(XOR-SAME
 (5 5 (:REWRITE XOR-WHEN-EQUAL))
 )
(XOR-SAME-SIMPLE)
(XOR-MYNOT)
(XOR-MYNOT-2)
(XOR-MYNOT-ALT
 (4 4 (:REWRITE XOR-WHEN-EQUAL))
 )
(XOR-MYNOT-ALT2
 (4 4 (:REWRITE XOR-WHEN-EQUAL))
 )
