modified:   jsvm/jsre.js