diff --git a/cover/tests/bfs+module-nolex.rkt b/cover/tests/bfs+module-nolex.rkt
new file mode 100644
index 0000000..2b864c5
--- /dev/null
+++ b/cover/tests/bfs+module-nolex.rkt
@@ -0,0 +1,4 @@
+#lang racket
+(begin-for-syntax
+  (module t racket
+    1))
diff --git a/cover/tests/lazy-require.rkt b/cover/tests/lazy-require.rkt
new file mode 100644
index 0000000..c13d182
--- /dev/null
+++ b/cover/tests/lazy-require.rkt
@@ -0,0 +1,5 @@
+#lang racket
+(begin-for-syntax
+  (require racket/lazy-require)
+  (lazy-require [racket/syntax (format-symbol)])
+  (void (format-symbol "a~a" 'a)))