Definition: *atc-valuep-rules*
(defconst *atc-valuep-rules* '(valuep-when-scharp valuep-when-ucharp valuep-when-sshortp valuep-when-ushortp valuep-when-sintp valuep-when-uintp valuep-when-slongp valuep-when-ulongp valuep-when-sllongp valuep-when-ullongp))