--- /dev/null		1970-01-01 01:00:00.000000000 +0100
+++ auto_uids.c.dist	2011-06-05 10:29:16.425936277 +0100
@@ -0,0 +1,12 @@
+/* These values are hard-coded here, which looks bad until you *
+ * realise that they're hard-coded in ${PORTSDIR}/?IDs anyway. */
+int auto_uida = 81;
+int auto_uidd = 82;
+int auto_uidl = 83;
+int auto_uido = 0;
+int auto_uidp = 84;
+int auto_uidq = 85;
+int auto_uidr = 86;
+int auto_uids = 87;
+int auto_gidq = 82;
+int auto_gidn = 81;
