A few MB of MiniJava