desugar compiles and runs