------------ desugared source code
main is not found