--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/utils/print-default-values.cc	Fri Oct 26 14:16:40 2007 +0200
@@ -0,0 +1,9 @@
+#include "ns3/default-value.h"
+
+using namespace ns3;
+
+int main (int argc, char *argv[])
+{
+
+  return 0;
+}