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