static main() is the official main() prototype in MiniJava.