var importedArgs = ['int_exprs.wast']; load(scriptdir + '../spec.js');