For the record (as I had mentioned in response to another comment): the Dart Editor now declares `main()` as void in its auto-generated projects.

I am fixing the other issues and will commit soon.