diff -r 000000000000 -r 6f7a81934006 lib/config/_user_dir_bits.cc
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/config/_user_dir_bits.cc	Wed Jan 16 22:39:43 2008 +0100
@@ -0,0 +1,10 @@
+#include "configio.h"
+#include <limits.h>
+
+static unsigned default_user_dir_bits(0);
+static const mystring filename_user_dir_bits = "user-dir-bits";
+unsigned configuration::user_dir_bits() const {
+  return read_uns(filename_user_dir_bits,
+                    default_user_dir_bits,
+		    (config_cache<unsigned>&)user_dir_bits_cache);
+}