--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/config/configvar.in	Wed Jan 16 22:39:43 2008 +0100
@@ -0,0 +1,10 @@
+#include "configio.h"
+#include <limits.h>
+
+static %TYPE% default_%NAME%(%DEFAULT%);
+static const mystring filename_%NAME% = "%FILENAME%";
+%TYPE% configuration::%NAME%() const {
+  return read_%EXT%(filename_%NAME%,
+                    default_%NAME%,
+		    (config_cache<%TYPE%>&)%NAME%_cache);
+}