jefvm.v0.js working