Definition:
(defconst *atc-integer-ifix-rules* '(ifix-of-integer-from-schar ifix-of-integer-from-uchar ifix-of-integer-from-sshort ifix-of-integer-from-ushort ifix-of-integer-from-sint ifix-of-integer-from-uint ifix-of-integer-from-slong ifix-of-integer-from-ulong ifix-of-integer-from-sllong ifix-of-integer-from-ullong))