Take types off main()'s because clang whines about it