<html><head><title>Basic</title><script src="ast.js"></script><script src="basic.js"></script><script src="caseless_map.js"></script><script src="lexer.js"></script><script src="number.js"></script><script src="parser.js"></script><script src="random.js"></script><script src="state.js"></script><script src="util.js"></script><script src="benchmark.js"></script><script>function runTest() {try {var result = runBenchmark();document.getElementById("result-summary").innerHTML = "That took " + result + " ms.";} catch (e) {document.getElementById("result-summary").innerHTML = "Failed: " + e;}}</script></head><body><h1>Basic</h1><p><div id="result-summary"></div><div><a href="javascript:runTest()">Start Test</a></div></p></body></html>