Precious compiler for TinyJava