diff --git a/iniquity-plus/correct.rkt b/iniquity-plus/correct.rkt
new file mode 100644
index 0000000..df76199
--- /dev/null
+++ b/iniquity-plus/correct.rkt
@@ -0,0 +1,10 @@
+#lang racket
+(provide check-compiler)
+(require rackunit)
+(require "interp-io.rkt")
+(require "exec-io.rkt")
+;; ClosedExpr String -> Void
+(define (check-compiler e i)
+  (check-equal? (interp/io e i)
+                (exec/io e i)))
+
diff --git a/knock-plus/correct.rkt b/knock-plus/correct.rkt
new file mode 100644
index 0000000..df76199
--- /dev/null
+++ b/knock-plus/correct.rkt
@@ -0,0 +1,10 @@
+#lang racket
+(provide check-compiler)
+(require rackunit)
+(require "interp-io.rkt")
+(require "exec-io.rkt")
+;; ClosedExpr String -> Void
+(define (check-compiler e i)
+  (check-equal? (interp/io e i)
+                (exec/io e i)))
+