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