Definition:
(defconst *atc-type-of-value-rules* '(type-of-value-when-ucharp type-of-value-when-scharp type-of-value-when-ushortp type-of-value-when-sshortp type-of-value-when-uintp type-of-value-when-sintp type-of-value-when-ulongp type-of-value-when-slongp type-of-value-when-ullongp type-of-value-when-sllongp type-of-value-when-value-pointer type-of-value-when-uchar-arrayp type-of-value-when-schar-arrayp type-of-value-when-ushort-arrayp type-of-value-when-sshort-arrayp type-of-value-when-uint-arrayp type-of-value-when-sint-arrayp type-of-value-when-ulong-arrayp type-of-value-when-slong-arrayp type-of-value-when-ullong-arrayp type-of-value-when-sllong-arrayp))