A simple imperative language for the JVM