diff --git a/TODO b/TODO
index 0f39a3945f4beb646c9172948a4d4db8307b8660..4ad6403751a877d20ad880618d6cc3fc93c6c61a 100644
--- a/TODO
+++ b/TODO
@@ -19,6 +19,10 @@
    should also validate conditions on the index beforehand. these are
    thankfully sane (monotonic offsets etc.) and mentioned in the spec.
 
+   we'd like a combinator similar to our hand-rolled p_take(n,env) that works
+   on any input, not just the global input buffer passed from the environment.
+   as of feb 2023, h_bytes(n) which does just that is available in hammer.
+
  - move main routine(s) and filter implementation(s) into separate source
    files. e.g.:
    - main.c: main function and helpers; starting from its include block