diff --git a/srfi-lib/srfi/%3a30.rkt b/srfi-lib/srfi/%3a30.rkt
new file mode 100644
index 0000000..3dd344e
--- /dev/null
+++ b/srfi-lib/srfi/%3a30.rkt
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/30
diff --git a/srfi-lib/srfi/%3a34.rkt b/srfi-lib/srfi/%3a34.rkt
new file mode 100644
index 0000000..3df84e0
--- /dev/null
+++ b/srfi-lib/srfi/%3a34.rkt
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/34
diff --git a/srfi-lib/srfi/%3a35.rkt b/srfi-lib/srfi/%3a35.rkt
new file mode 100644
index 0000000..6b6cb39
--- /dev/null
+++ b/srfi-lib/srfi/%3a35.rkt
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/35
diff --git a/srfi-lib/srfi/%3a4.rkt b/srfi-lib/srfi/%3a4.rkt
new file mode 100644
index 0000000..77a12cc
--- /dev/null
+++ b/srfi-lib/srfi/%3a4.rkt
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/4
diff --git a/srfi-lib/srfi/%3a40.rkt b/srfi-lib/srfi/%3a40.rkt
new file mode 100644
index 0000000..68adf90
--- /dev/null
+++ b/srfi-lib/srfi/%3a40.rkt
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/40
diff --git a/srfi-lib/srfi/%3a62.rkt b/srfi-lib/srfi/%3a62.rkt
new file mode 100644
index 0000000..2943d71
--- /dev/null
+++ b/srfi-lib/srfi/%3a62.rkt
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/62