Definition:
(defconst *atc-exec-block-item-rules* '(exec-block-item-when-declon exec-block-item-when-stmt (:e block-item-kind) (:e block-item-declon->get) (:e block-item-stmt->get) (:e obj-declon-to-ident+scspec+tyname+init) (:e scspecseq-kind) return-type-of-init-value-single))