main.py -O clear,optimize,constfold,dcr -