diff --git a/fco2/TODO b/fco2/TODO
new file mode 100644
index 0000000..1453893
--- /dev/null
+++ b/fco2/TODO
@@ -0,0 +1,7 @@
+To-do list for FCO
+------------------
+
+Have a "compiler options" field in ParseState, which can contain things like:
+- optional tracing in passes
+- whether to compile out overflow/bounds checks
+