I doubt main() can be simplified more than that!