A tiny compiler for miniJava