Definition:
(defconst *atc-pointed-integer-rules* '(schar-read-when-scharp uchar-read-when-ucharp sshort-read-when-sshortp ushort-read-when-ushortp sint-read-when-sintp uint-read-when-uintp slong-read-when-slongp ulong-read-when-ulongp sllong-read-when-sllongp ullong-read-when-ullongp schar-write-when-scharp uchar-write-when-ucharp sshort-write-when-sshortp ushort-write-when-ushortp sint-write-when-sintp uint-write-when-uintp slong-write-when-slongp ulong-write-when-ulongp sllong-write-when-sllongp ullong-write-when-ullongp))