List of rewrite rules for the return types of models of C array write operations.
Definition:
(defconst *atc-array-write-return-rewrite-rules* '(uchar-arrayp-of-uchar-array-write schar-arrayp-of-schar-array-write ushort-arrayp-of-ushort-array-write sshort-arrayp-of-sshort-array-write uint-arrayp-of-uint-array-write sint-arrayp-of-sint-array-write ulong-arrayp-of-ulong-array-write slong-arrayp-of-slong-array-write ullong-arrayp-of-ullong-array-write sllong-arrayp-of-sllong-array-write))