diff --git a/convert-ml-strings.pl b/deprecated/convert-ml-strings.pl
similarity index 100%
rename from convert-ml-strings.pl
rename to deprecated/convert-ml-strings.pl
diff --git a/demo_trace.js b/deprecated/demo_trace.js
similarity index 100%
rename from demo_trace.js
rename to deprecated/demo_trace.js
diff --git a/interp-poc.js b/deprecated/interp-poc.js
similarity index 100%
rename from interp-poc.js
rename to deprecated/interp-poc.js
diff --git a/interp.js b/deprecated/interp.js
similarity index 100%
rename from interp.js
rename to deprecated/interp.js
diff --git a/ml-add-cstr-annots.pl b/deprecated/ml-add-cstr-annots.pl
similarity index 100%
rename from ml-add-cstr-annots.pl
rename to deprecated/ml-add-cstr-annots.pl
diff --git a/navig-poc.html b/deprecated/navig-poc.html
similarity index 100%
rename from navig-poc.html
rename to deprecated/navig-poc.html
diff --git a/navig-poc.js b/deprecated/navig-poc.js
similarity index 100%
rename from navig-poc.js
rename to deprecated/navig-poc.js
diff --git a/navig.html b/deprecated/navig.html
similarity index 100%
rename from navig.html
rename to deprecated/navig.html
diff --git a/navig.js b/deprecated/navig.js
similarity index 100%
rename from navig.js
rename to deprecated/navig.js
diff --git a/source-driver.js b/deprecated/source-driver.js
similarity index 100%
rename from source-driver.js
rename to deprecated/source-driver.js
diff --git a/source-poc.js b/deprecated/source-poc.js
similarity index 100%
rename from source-poc.js
rename to deprecated/source-poc.js
diff --git a/test.html b/deprecated/test.html
similarity index 100%
rename from test.html
rename to deprecated/test.html
diff --git a/driver.html b/driver.html
index 94ef79cf27b28a7c8536f24f882211516a121584..f459dd4fdc3b9b8095fc59d8dec5e075341e8653 100644
--- a/driver.html
+++ b/driver.html
@@ -183,3 +183,14 @@ $(function() {
 
 
 
+
+
+
+<!---
+
+var t = []; for (var i = 0; i < 3; i++) { t[i] = function() { return i; } };
+() { return i; }
+t[0]();
+3
+
+-->
\ No newline at end of file