Factored out defaultMain