Javascript z-machine interpreter using GWT