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