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