List of rewrite rules for the return types of models of C array read operations.
Definition:
(defconst *atc-array-read-return-rewrite-rules* '(ucharp-of-uchar-array-read scharp-of-schar-array-read ushortp-of-ushort-array-read sshortp-of-sshort-array-read uintp-of-uint-array-read sintp-of-sint-array-read ulongp-of-ulong-array-read slongp-of-slong-array-read ullongp-of-ullong-array-read sllongp-of-sllong-array-read))