diff -r 7f85e99502db -r 91e78d9b78f4 src/work/klao/map_test.cc
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/work/klao/map_test.cc	Sat Apr 03 18:22:08 2004 +0000
@@ -0,0 +1,14 @@
+#include <iostream>
+
+#include <skeletons/maps.h>
+
+using namespace std;
+using namespace hugo::skeleton;
+
+int main()
+{
+  ReadableMap<int, char> a;
+
+  cout << sizeof a << endl;
+
+}