diff --git a/web-world/js-impl.js b/web-world/js-impl.js
new file mode 100644
index 0000000..ff94fec
--- /dev/null
+++ b/web-world/js-impl.js
@@ -0,0 +1,3 @@
+EXPORTS['big-bang'] = undefined;
+EXPORTS['initial-view'] = undefined;
+EXPORTS['stop-when'] = undefined;