
Non-option args: 
    get_64_lsb_first
    
    
Option args: 
    -fuse-concls   \
    -decls=[SUPRESSED IN PLAIN MODE]   \
    -unique-working-files   \
    -rules=[SUPRESSED IN PLAIN MODE]   \
    -rules=[SUPRESSED IN PLAIN MODE]   \
    -elim-enums   \
    -ground-eval-exp   \
    -abstract-exp   \
    -abstract-divmod   \
    -utick   \
    -gtick   \
    -longtick   \
    -echo-final-stats   \
    -csv-reports-include-unit-kind   \
    -level=warning   \
    -bit-type   \
    -bit-type-bool-eq-to-iff   \
    -refine-types   \
    -refine-int-subrange-type   \
    -abstract-arrays-records-late   \
    -elim-array-constructors   \
    -add-array-select-box-update-axioms   \
    -abstract-array-box-updates   \
    -add-array-select-update-axioms   \
    -abstract-array-select-updates   \
    -abstract-array-types   \
    -abstract-record-types   \
    -abstract-bit-ops   \
    -abstract-bit-valued-eqs   \
    -abstract-bit-valued-int-le   \
    -elim-bit-type-and-consts   \
    -abstract-reals   \
    -lift-quants   \
    -strip-quantifier-patterns   \
    -elim-type-aliases   \
    -interface-mode=smtlib   \
    -refine-bit-type-as-int-subtype   \
    -refine-bit-eq-equiv   \
    -elim-record-constructors   \
    -add-record-select-update-axioms   \
    -abstract-record-selects-updates   \
    -logic=AUFNIRA   \
    -report=get_64_lsb_first   \
    -prover-command=[SUPRESSED IN PLAIN MODE]   \
    -siv   \
    -plain   \
    -read-unit-rlu-files   \
    -read-directory-rlu-files   \
    -delete-rules-with-undeclared-ids   \



Total ERROR   messages: 0
Total WARNING messages: 0

Summary Stats: 
    true:    3  (100.0%)
unproven:    0  ( 0.0%)    
   error:    0  ( 0.0%)
   total:    3

