diff --git a/collects/srfi/%3a1.ss b/collects/srfi/%3a1.ss
new file mode 100644
index 0000000000..59aa183b38
--- /dev/null
+++ b/collects/srfi/%3a1.ss
@@ -0,0 +1,3 @@
+#lang s-exp srfi/provider srfi/1
+
+;; FIXME: should use mutable lists
diff --git a/collects/srfi/%3a1.ss~ b/collects/srfi/%3a1.ss~
new file mode 100644
index 0000000000..768c10e503
--- /dev/null
+++ b/collects/srfi/%3a1.ss~
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/1
diff --git a/collects/srfi/%3a1/lists.ss b/collects/srfi/%3a1/lists.ss
new file mode 100644
index 0000000000..22d52fb0ea
--- /dev/null
+++ b/collects/srfi/%3a1/lists.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/%3a1
diff --git a/collects/srfi/%3a11.ss b/collects/srfi/%3a11.ss
new file mode 100644
index 0000000000..0017499f91
--- /dev/null
+++ b/collects/srfi/%3a11.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/11
diff --git a/collects/srfi/%3a11/let-values.ss b/collects/srfi/%3a11/let-values.ss
new file mode 100644
index 0000000000..c67d691ddd
--- /dev/null
+++ b/collects/srfi/%3a11/let-values.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/%3a11
diff --git a/collects/srfi/%3a13.ss b/collects/srfi/%3a13.ss
new file mode 100644
index 0000000000..f55a5a35ac
--- /dev/null
+++ b/collects/srfi/%3a13.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/13
diff --git a/collects/srfi/%3a13/strings.ss b/collects/srfi/%3a13/strings.ss
new file mode 100644
index 0000000000..6e12b96217
--- /dev/null
+++ b/collects/srfi/%3a13/strings.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/%3a13
diff --git a/collects/srfi/%3a14.ss b/collects/srfi/%3a14.ss
new file mode 100644
index 0000000000..1f662d1fda
--- /dev/null
+++ b/collects/srfi/%3a14.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/14
diff --git a/collects/srfi/%3a14/char-sets.ss b/collects/srfi/%3a14/char-sets.ss
new file mode 100644
index 0000000000..6131f670d8
--- /dev/null
+++ b/collects/srfi/%3a14/char-sets.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/%3a14
diff --git a/collects/srfi/%3a16.ss b/collects/srfi/%3a16.ss
new file mode 100644
index 0000000000..79262d8bce
--- /dev/null
+++ b/collects/srfi/%3a16.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/16
diff --git a/collects/srfi/%3a16/case-lambda.ss b/collects/srfi/%3a16/case-lambda.ss
new file mode 100644
index 0000000000..5e2eefa4ec
--- /dev/null
+++ b/collects/srfi/%3a16/case-lambda.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/%3a16
diff --git a/collects/srfi/%3a17.ss b/collects/srfi/%3a17.ss
new file mode 100644
index 0000000000..647edac9f0
--- /dev/null
+++ b/collects/srfi/%3a17.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/17
diff --git a/collects/srfi/%3a17/generalized-set.ss b/collects/srfi/%3a17/generalized-set.ss
new file mode 100644
index 0000000000..e542757f6b
--- /dev/null
+++ b/collects/srfi/%3a17/generalized-set.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/%3a17
diff --git a/collects/srfi/%3a18.ss b/collects/srfi/%3a18.ss
new file mode 100644
index 0000000000..1cb18114a8
--- /dev/null
+++ b/collects/srfi/%3a18.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/18
diff --git a/collects/srfi/%3a18/multithreading.ss b/collects/srfi/%3a18/multithreading.ss
new file mode 100644
index 0000000000..10e5a396ea
--- /dev/null
+++ b/collects/srfi/%3a18/multithreading.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/%3a18
diff --git a/collects/srfi/%3a19.ss b/collects/srfi/%3a19.ss
new file mode 100644
index 0000000000..fb8e91be2e
--- /dev/null
+++ b/collects/srfi/%3a19.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/19
diff --git a/collects/srfi/%3a19/time.ss b/collects/srfi/%3a19/time.ss
new file mode 100644
index 0000000000..c0c81aace2
--- /dev/null
+++ b/collects/srfi/%3a19/time.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/%3a19
diff --git a/collects/srfi/%3a2.ss b/collects/srfi/%3a2.ss
new file mode 100644
index 0000000000..61b94cf879
--- /dev/null
+++ b/collects/srfi/%3a2.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/2
diff --git a/collects/srfi/%3a2/and-let%2a.ss b/collects/srfi/%3a2/and-let%2a.ss
new file mode 100644
index 0000000000..85bfca546b
--- /dev/null
+++ b/collects/srfi/%3a2/and-let%2a.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/%3a2
diff --git a/collects/srfi/%3a23.ss b/collects/srfi/%3a23.ss
new file mode 100644
index 0000000000..42fcce9d55
--- /dev/null
+++ b/collects/srfi/%3a23.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/23
diff --git a/collects/srfi/%3a23/error.ss b/collects/srfi/%3a23/error.ss
new file mode 100644
index 0000000000..2cf77d7cdf
--- /dev/null
+++ b/collects/srfi/%3a23/error.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/%3a23
diff --git a/collects/srfi/%3a25.ss b/collects/srfi/%3a25.ss
new file mode 100644
index 0000000000..bbf9b64a30
--- /dev/null
+++ b/collects/srfi/%3a25.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/25
diff --git a/collects/srfi/%3a25/multi-dimensional-arrays.ss b/collects/srfi/%3a25/multi-dimensional-arrays.ss
new file mode 100644
index 0000000000..43d4a8ac13
--- /dev/null
+++ b/collects/srfi/%3a25/multi-dimensional-arrays.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/%3a25
diff --git a/collects/srfi/%3a26.ss b/collects/srfi/%3a26.ss
new file mode 100644
index 0000000000..56acf26277
--- /dev/null
+++ b/collects/srfi/%3a26.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/26
diff --git a/collects/srfi/%3a26/cut.ss b/collects/srfi/%3a26/cut.ss
new file mode 100644
index 0000000000..96216356b0
--- /dev/null
+++ b/collects/srfi/%3a26/cut.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/%3a26
diff --git a/collects/srfi/%3a27.ss b/collects/srfi/%3a27.ss
new file mode 100644
index 0000000000..3b5c28c11a
--- /dev/null
+++ b/collects/srfi/%3a27.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/27
diff --git a/collects/srfi/%3a27/random-bits.ss b/collects/srfi/%3a27/random-bits.ss
new file mode 100644
index 0000000000..ee371855ef
--- /dev/null
+++ b/collects/srfi/%3a27/random-bits.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/%3a27
diff --git a/collects/srfi/%3a28.ss b/collects/srfi/%3a28.ss
new file mode 100644
index 0000000000..808ec0ac39
--- /dev/null
+++ b/collects/srfi/%3a28.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/28
diff --git a/collects/srfi/%3a28/basic-format-strings.ss b/collects/srfi/%3a28/basic-format-strings.ss
new file mode 100644
index 0000000000..20e15b6d4d
--- /dev/null
+++ b/collects/srfi/%3a28/basic-format-strings.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/%3a28
diff --git a/collects/srfi/%3a29.ss b/collects/srfi/%3a29.ss
new file mode 100644
index 0000000000..722c157f18
--- /dev/null
+++ b/collects/srfi/%3a29.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/29
diff --git a/collects/srfi/%3a29/localization.ss b/collects/srfi/%3a29/localization.ss
new file mode 100644
index 0000000000..f2bcf9f2b1
--- /dev/null
+++ b/collects/srfi/%3a29/localization.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/%3a29
diff --git a/collects/srfi/%3a31.ss b/collects/srfi/%3a31.ss
new file mode 100644
index 0000000000..e59ebae8b8
--- /dev/null
+++ b/collects/srfi/%3a31.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/31
diff --git a/collects/srfi/%3a31/rec.ss b/collects/srfi/%3a31/rec.ss
new file mode 100644
index 0000000000..4c80621ad3
--- /dev/null
+++ b/collects/srfi/%3a31/rec.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/%3a31
diff --git a/collects/srfi/%3a38.ss b/collects/srfi/%3a38.ss
new file mode 100644
index 0000000000..87fe7fb670
--- /dev/null
+++ b/collects/srfi/%3a38.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/38
diff --git a/collects/srfi/%3a38/with-shared-structure.ss b/collects/srfi/%3a38/with-shared-structure.ss
new file mode 100644
index 0000000000..941995798a
--- /dev/null
+++ b/collects/srfi/%3a38/with-shared-structure.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/%3a38
diff --git a/collects/srfi/%3a39.ss b/collects/srfi/%3a39.ss
new file mode 100644
index 0000000000..c84bcde280
--- /dev/null
+++ b/collects/srfi/%3a39.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/39
diff --git a/collects/srfi/%3a39/parameters.ss b/collects/srfi/%3a39/parameters.ss
new file mode 100644
index 0000000000..c84fb84eee
--- /dev/null
+++ b/collects/srfi/%3a39/parameters.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/%3a39
diff --git a/collects/srfi/%3a41.ss b/collects/srfi/%3a41.ss
new file mode 100644
index 0000000000..9f16815a90
--- /dev/null
+++ b/collects/srfi/%3a41.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/41
diff --git a/collects/srfi/%3a41/streams.ss b/collects/srfi/%3a41/streams.ss
new file mode 100644
index 0000000000..5be0dd214f
--- /dev/null
+++ b/collects/srfi/%3a41/streams.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/%3a41
diff --git a/collects/srfi/%3a42.ss b/collects/srfi/%3a42.ss
new file mode 100644
index 0000000000..065c647827
--- /dev/null
+++ b/collects/srfi/%3a42.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/42
diff --git a/collects/srfi/%3a42/eager-comprehensions.ss b/collects/srfi/%3a42/eager-comprehensions.ss
new file mode 100644
index 0000000000..74e3845f30
--- /dev/null
+++ b/collects/srfi/%3a42/eager-comprehensions.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/%3a42
diff --git a/collects/srfi/%3a43.ss b/collects/srfi/%3a43.ss
new file mode 100644
index 0000000000..a3e33d7c90
--- /dev/null
+++ b/collects/srfi/%3a43.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/43
diff --git a/collects/srfi/%3a43/vectors.ss b/collects/srfi/%3a43/vectors.ss
new file mode 100644
index 0000000000..38418f8517
--- /dev/null
+++ b/collects/srfi/%3a43/vectors.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/%3a43
diff --git a/collects/srfi/%3a45.ss b/collects/srfi/%3a45.ss
new file mode 100644
index 0000000000..33d51b7531
--- /dev/null
+++ b/collects/srfi/%3a45.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/45
diff --git a/collects/srfi/%3a45/lazy.ss b/collects/srfi/%3a45/lazy.ss
new file mode 100644
index 0000000000..0e02ac8a7c
--- /dev/null
+++ b/collects/srfi/%3a45/lazy.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/%3a45
diff --git a/collects/srfi/%3a48.ss b/collects/srfi/%3a48.ss
new file mode 100644
index 0000000000..2f5a6e1451
--- /dev/null
+++ b/collects/srfi/%3a48.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/48
diff --git a/collects/srfi/%3a48/intermediate-format-strings.ss b/collects/srfi/%3a48/intermediate-format-strings.ss
new file mode 100644
index 0000000000..c6c8ea5adc
--- /dev/null
+++ b/collects/srfi/%3a48/intermediate-format-strings.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/%3a48
diff --git a/collects/srfi/%3a5.ss b/collects/srfi/%3a5.ss
new file mode 100644
index 0000000000..07cba2445e
--- /dev/null
+++ b/collects/srfi/%3a5.ss
@@ -0,0 +1,3 @@
+#lang s-exp srfi/provider srfi/5
+
+;; FIXME: "rest arguments" need to generate mutable lists
diff --git a/collects/srfi/%3a5/let.ss b/collects/srfi/%3a5/let.ss
new file mode 100644
index 0000000000..7b230cdd46
--- /dev/null
+++ b/collects/srfi/%3a5/let.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/%3a5
diff --git a/collects/srfi/%3a54.ss b/collects/srfi/%3a54.ss
new file mode 100644
index 0000000000..277bff4134
--- /dev/null
+++ b/collects/srfi/%3a54.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/54
diff --git a/collects/srfi/%3a54/cat.ss b/collects/srfi/%3a54/cat.ss
new file mode 100644
index 0000000000..d7c3386e5b
--- /dev/null
+++ b/collects/srfi/%3a54/cat.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/%3a54
diff --git a/collects/srfi/%3a57.ss b/collects/srfi/%3a57.ss
new file mode 100644
index 0000000000..bf2b54327c
--- /dev/null
+++ b/collects/srfi/%3a57.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/57
diff --git a/collects/srfi/%3a57/records.ss b/collects/srfi/%3a57/records.ss
new file mode 100644
index 0000000000..261689f2d4
--- /dev/null
+++ b/collects/srfi/%3a57/records.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/%3a57
diff --git a/collects/srfi/%3a59.ss b/collects/srfi/%3a59.ss
new file mode 100644
index 0000000000..ca46d252fe
--- /dev/null
+++ b/collects/srfi/%3a59.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/59
diff --git a/collects/srfi/%3a59/vicinities.ss b/collects/srfi/%3a59/vicinities.ss
new file mode 100644
index 0000000000..ea6c86dbbc
--- /dev/null
+++ b/collects/srfi/%3a59/vicinities.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/%3a59
diff --git a/collects/srfi/%3a6.ss b/collects/srfi/%3a6.ss
new file mode 100644
index 0000000000..55669f5c1c
--- /dev/null
+++ b/collects/srfi/%3a6.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/6
diff --git a/collects/srfi/%3a6/basic-string-ports.ss b/collects/srfi/%3a6/basic-string-ports.ss
new file mode 100644
index 0000000000..748cbb68af
--- /dev/null
+++ b/collects/srfi/%3a6/basic-string-ports.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/%3a6
diff --git a/collects/srfi/%3a60.ss b/collects/srfi/%3a60.ss
new file mode 100644
index 0000000000..87c7c30126
--- /dev/null
+++ b/collects/srfi/%3a60.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/60
diff --git a/collects/srfi/%3a60/integer-bits.ss b/collects/srfi/%3a60/integer-bits.ss
new file mode 100644
index 0000000000..4ccb0381b0
--- /dev/null
+++ b/collects/srfi/%3a60/integer-bits.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/%3a60
diff --git a/collects/srfi/%3a61.ss b/collects/srfi/%3a61.ss
new file mode 100644
index 0000000000..94d9f02ea1
--- /dev/null
+++ b/collects/srfi/%3a61.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/61
diff --git a/collects/srfi/%3a61/cond.ss b/collects/srfi/%3a61/cond.ss
new file mode 100644
index 0000000000..431c771a54
--- /dev/null
+++ b/collects/srfi/%3a61/cond.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/%3a61
diff --git a/collects/srfi/%3a63.ss b/collects/srfi/%3a63.ss
new file mode 100644
index 0000000000..57f3441c62
--- /dev/null
+++ b/collects/srfi/%3a63.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/63
diff --git a/collects/srfi/%3a63/arrays.ss b/collects/srfi/%3a63/arrays.ss
new file mode 100644
index 0000000000..ef6f35dd98
--- /dev/null
+++ b/collects/srfi/%3a63/arrays.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/%3a63
diff --git a/collects/srfi/%3a64.ss b/collects/srfi/%3a64.ss
new file mode 100644
index 0000000000..6889818969
--- /dev/null
+++ b/collects/srfi/%3a64.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/64
diff --git a/collects/srfi/%3a64/testing.ss b/collects/srfi/%3a64/testing.ss
new file mode 100644
index 0000000000..75a6603295
--- /dev/null
+++ b/collects/srfi/%3a64/testing.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/%3a64
diff --git a/collects/srfi/%3a66.ss b/collects/srfi/%3a66.ss
new file mode 100644
index 0000000000..504e580850
--- /dev/null
+++ b/collects/srfi/%3a66.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/66
diff --git a/collects/srfi/%3a66/octet-vectors.ss b/collects/srfi/%3a66/octet-vectors.ss
new file mode 100644
index 0000000000..d36c965ee0
--- /dev/null
+++ b/collects/srfi/%3a66/octet-vectors.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/%3a66
diff --git a/collects/srfi/%3a67.ss b/collects/srfi/%3a67.ss
new file mode 100644
index 0000000000..422aa0e75d
--- /dev/null
+++ b/collects/srfi/%3a67.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/67
diff --git a/collects/srfi/%3a67/compare-procedures.ss b/collects/srfi/%3a67/compare-procedures.ss
new file mode 100644
index 0000000000..014534d050
--- /dev/null
+++ b/collects/srfi/%3a67/compare-procedures.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/%3a67
diff --git a/collects/srfi/%3a69.ss b/collects/srfi/%3a69.ss
new file mode 100644
index 0000000000..1f2407993b
--- /dev/null
+++ b/collects/srfi/%3a69.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/69
diff --git a/collects/srfi/%3a69/basic-hash-tables.ss b/collects/srfi/%3a69/basic-hash-tables.ss
new file mode 100644
index 0000000000..21eefa5332
--- /dev/null
+++ b/collects/srfi/%3a69/basic-hash-tables.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/%3a69
diff --git a/collects/srfi/%3a71.ss b/collects/srfi/%3a71.ss
new file mode 100644
index 0000000000..1088be13d0
--- /dev/null
+++ b/collects/srfi/%3a71.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/71
diff --git a/collects/srfi/%3a71/let.ss b/collects/srfi/%3a71/let.ss
new file mode 100644
index 0000000000..590229445c
--- /dev/null
+++ b/collects/srfi/%3a71/let.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/%3a71
diff --git a/collects/srfi/%3a74.ss b/collects/srfi/%3a74.ss
new file mode 100644
index 0000000000..b983a5d374
--- /dev/null
+++ b/collects/srfi/%3a74.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/74
diff --git a/collects/srfi/%3a74/blobs.ss b/collects/srfi/%3a74/blobs.ss
new file mode 100644
index 0000000000..a7b868ab0c
--- /dev/null
+++ b/collects/srfi/%3a74/blobs.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/%3a74
diff --git a/collects/srfi/%3a78.ss b/collects/srfi/%3a78.ss
new file mode 100644
index 0000000000..c1e65a916d
--- /dev/null
+++ b/collects/srfi/%3a78.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/78
diff --git a/collects/srfi/%3a78/lightweight-testing.ss b/collects/srfi/%3a78/lightweight-testing.ss
new file mode 100644
index 0000000000..c90b018287
--- /dev/null
+++ b/collects/srfi/%3a78/lightweight-testing.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/%3a78
diff --git a/collects/srfi/%3a8.ss b/collects/srfi/%3a8.ss
new file mode 100644
index 0000000000..1f4774201b
--- /dev/null
+++ b/collects/srfi/%3a8.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/8
diff --git a/collects/srfi/%3a8/receive.ss b/collects/srfi/%3a8/receive.ss
new file mode 100644
index 0000000000..670412617a
--- /dev/null
+++ b/collects/srfi/%3a8/receive.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/%3a8
diff --git a/collects/srfi/%3a86.ss b/collects/srfi/%3a86.ss
new file mode 100644
index 0000000000..a160057f63
--- /dev/null
+++ b/collects/srfi/%3a86.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/86
diff --git a/collects/srfi/%3a86/mu-and-nu.ss b/collects/srfi/%3a86/mu-and-nu.ss
new file mode 100644
index 0000000000..c652a63dca
--- /dev/null
+++ b/collects/srfi/%3a86/mu-and-nu.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/%3a86
diff --git a/collects/srfi/%3a87.ss b/collects/srfi/%3a87.ss
new file mode 100644
index 0000000000..2412d12182
--- /dev/null
+++ b/collects/srfi/%3a87.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/87
diff --git a/collects/srfi/%3a87/case.ss b/collects/srfi/%3a87/case.ss
new file mode 100644
index 0000000000..be83a4611b
--- /dev/null
+++ b/collects/srfi/%3a87/case.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/%3a87
diff --git a/collects/srfi/%3a9.ss b/collects/srfi/%3a9.ss
new file mode 100644
index 0000000000..90bb58c70c
--- /dev/null
+++ b/collects/srfi/%3a9.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/9
diff --git a/collects/srfi/%3a9/records.ss b/collects/srfi/%3a9/records.ss
new file mode 100644
index 0000000000..571166416e
--- /dev/null
+++ b/collects/srfi/%3a9/records.ss
@@ -0,0 +1 @@
+#lang s-exp srfi/provider srfi/%3a9