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