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