diff --git a/compiler-benchmark-debug.txt b/compiler-benchmark-debug.txt
new file mode 100644
index 00000000..eca84a1c
--- /dev/null
+++ b/compiler-benchmark-debug.txt
@@ -0,0 +1,10 @@
+(DEBUG bind-in-order ((#((var-tag) result #t () () #(result #(expr result #f)) #f))))
+(INNER DEBUG (#((var-tag) result #t () () #(result #(expr result #f)) #f)) (#((var-tag) result #t () () #(result #(expr result #f)) #f)))
+
+
+  (define (bind-in-order order)
+(write `(DEBUG bind-in-order ,order))
+    (if (null? order)
+        (pt-body source body env use)
+        (let* ((vars-set (car order)) (vars (set->list vars-set)))
+(write `(INNER DEBUG ,vars-set ,vars))