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