Definition:
(defconst *atc-exec-const-rules* '(exec-const-to-sint exec-const-to-uint exec-const-to-slong exec-const-to-ulong exec-const-to-sllong exec-const-to-ullong (:e const-kind) (:e const-int->get) (:e iconst->base) (:e iconst->length) (:e iconst->unsignedp) (:e iconst->value) (:e iconst-length-kind) (:e iconst-base-kind) (:e sint-integerp) (:e uint-integerp) (:e slong-integerp) (:e ulong-integerp) (:e sllong-integerp) (:e ullong-integerp)))