Definition: *rule_hex-val*
(defconst *rule_hex-val* (=_ *hex-val* (/_ "x" (1*_ *hexdig*) (?_ (/_ (1*_ (!_ (/_ "." (1*_ *hexdig*))))) (/_ (!_ (/_ "-" (1*_ *hexdig*))))))))