Definition:
(defconst *atc-static-variable-pointer-rules* '(value-pointer-validp-of-value-pointer return-type-of-pointer-valid value-pointer->reftype-of-value-pointer type-fix-when-typep return-type-of-type-schar return-type-of-type-uchar return-type-of-type-sshort return-type-of-type-ushort return-type-of-type-sint return-type-of-type-uint return-type-of-type-slong return-type-of-type-ulong return-type-of-type-sllong return-type-of-type-ullong value-pointer->designator-of-value-pointer objdesign-fix-when-objdesignp return-type-of-objdesign-static return-type-of-value-pointer))