Keyword options accepted by atc.
Definition: *atc-allowed-options*
(defconst *atc-allowed-options* (list :output-dir :file-name :header :pretty-printing :proofs :const-name :print))