Definition:
(defconst *atc-array-read-rules* '(not-errorp-of-value-array-read-when-uchar-array-and-in-range not-errorp-of-value-array-read-when-schar-array-and-in-range not-errorp-of-value-array-read-when-ushort-array-and-in-range not-errorp-of-value-array-read-when-sshort-array-and-in-range not-errorp-of-value-array-read-when-uint-array-and-in-range not-errorp-of-value-array-read-when-sint-array-and-in-range not-errorp-of-value-array-read-when-ulong-array-and-in-range not-errorp-of-value-array-read-when-slong-array-and-in-range not-errorp-of-value-array-read-when-ullong-array-and-in-range not-errorp-of-value-array-read-when-sllong-array-and-in-range not-errorp-of-value-array-read-when-uchar-array-and-in-range-cinteger not-errorp-of-value-array-read-when-schar-array-and-in-range-cinteger not-errorp-of-value-array-read-when-ushort-array-and-in-range-cinteger not-errorp-of-value-array-read-when-sshort-array-and-in-range-cinteger not-errorp-of-value-array-read-when-uint-array-and-in-range-cinteger not-errorp-of-value-array-read-when-sint-array-and-in-range-cinteger not-errorp-of-value-array-read-when-ulong-array-and-in-range-cinteger not-errorp-of-value-array-read-when-slong-array-and-in-range-cinteger not-errorp-of-value-array-read-when-ullong-array-and-in-range-cinteger not-errorp-of-value-array-read-when-sllong-array-and-in-range-cinteger))