Explicitly type main(), so c++ won't whine about it.