A VM for hacking on Frenetic