Definition: *rule_hexdig*
(defconst *rule_hexdig* (=_ *hexdig* (/_ *digit*) (/_ "A") (/_ "B") (/_ "C") (/_ "D") (/_ "E") (/_ "F")))