<!DOCTYPE html>
<script>
var test_files = [ '../resources/tests9.dat' ]
</script>
<script src="../../resources/dump-as-markup.js"></script>
<script src="../resources/runner.js"></script>