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