main.py -O -constfold,-dcr,expr -