Definition:
(defconst *atc-array-length-rules* '(value-array->length-when-uchar-arrayp value-array->length-when-schar-arrayp value-array->length-when-ushort-arrayp value-array->length-when-sshort-arrayp value-array->length-when-uint-arrayp value-array->length-when-sint-arrayp value-array->length-when-ulong-arrayp value-array->length-when-slong-arrayp value-array->length-when-ullong-arrayp value-array->length-when-sllong-arrayp natp-of-uchar-array-length natp-of-schar-array-length natp-of-ushort-array-length natp-of-sshort-array-length natp-of-uint-array-length natp-of-sint-array-length natp-of-ulong-array-length natp-of-slong-array-length natp-of-ullong-array-length natp-of-sllong-array-length))