A JVM written in Erlang