diff --git a/lib/modules/Mapping.pmod b/lib/modules/Mapping.pmod
new file mode 100644
index 0000000000000000000000000000000000000000..a61f3e489e26dd0d18cb6ef5792b2e24e6dc2dfe
--- /dev/null
+++ b/lib/modules/Mapping.pmod
@@ -0,0 +1,5 @@
+#pike __REAL_VERSION__
+
+constant delete=m_delete;
+constant Iterator = __builtin.mapping_iterator;
+