MINIJAVA SPECIFICATION

MiniJava is a subset of Java.  The meaning of a MiniJava program is 
given by its meaning as a Java program.  Overloading is not allowed 
in MiniJava. The MiniJava statement System.out.println( ... ); can 
only print integers. The MiniJava expression e.length only applies 
to expressions of type int[].