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