Index: doc/papers/general/figures/Cdecl.fig
===================================================================
--- doc/papers/general/figures/Cdecl.fig	(revision 565a3d6f05413cdc806805ecf58252547cf51a0c)
+++ doc/papers/general/figures/Cdecl.fig	(revision 565a3d6f05413cdc806805ecf58252547cf51a0c)
@@ -0,0 +1,63 @@
+#FIG 3.2  Produced by xfig version 3.2.5b
+Landscape
+Center
+Inches
+Letter  
+100.00
+Single
+-2
+1200 2
+6 2850 1200 3600 1350
+2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2
+	 3000 1200 3000 1350
+2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2
+	 3150 1200 3150 1350
+2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2
+	 3300 1200 3300 1350
+2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2
+	 3450 1200 3450 1350
+2 2 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 5
+	 2850 1200 3600 1200 3600 1350 2850 1350 2850 1200
+4 1 0 50 -1 4 10 0.0000 2 120 90 2925 1325 0\001
+4 1 0 50 -1 4 10 0.0000 2 120 90 3075 1325 1\001
+4 1 0 50 -1 4 10 0.0000 2 120 90 3225 1325 2\001
+4 1 0 50 -1 4 10 0.0000 2 120 90 3375 1325 3\001
+4 1 0 50 -1 4 10 0.0000 2 120 90 3525 1325 4\001
+-6
+2 2 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 5
+	 1275 1200 2025 1200 2025 1350 1275 1350 1275 1200
+2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2
+	 1425 1200 1425 1350
+2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2
+	 1575 1200 1575 1350
+2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2
+	 1725 1200 1725 1350
+2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2
+	 1875 1200 1875 1350
+2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
+	1 1 1.00 45.00 60.00
+	 1950 1275 1950 1500
+2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
+	1 1 1.00 45.00 60.00
+	 1350 1275 1350 1500
+2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
+	1 1 1.00 45.00 60.00
+	 1500 1275 1500 1500
+2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
+	1 1 1.00 45.00 60.00
+	 1650 1275 1650 1500
+2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
+	1 1 1.00 45.00 60.00
+	 1800 1275 1800 1500
+2 2 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 5
+	 2475 1200 2625 1200 2625 1350 2475 1350 2475 1200
+2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
+	1 1 1.00 45.00 60.00
+	 2550 1275 2850 1275
+4 1 0 50 -1 4 10 0.0000 2 120 90 1350 1650 0\001
+4 1 0 50 -1 4 10 0.0000 2 120 90 1500 1650 1\001
+4 1 0 50 -1 4 10 0.0000 2 120 90 1650 1650 2\001
+4 1 0 50 -1 4 10 0.0000 2 120 90 1800 1650 3\001
+4 1 0 50 -1 4 10 0.0000 2 120 90 1950 1650 4\001
+4 1 0 50 -1 4 10 0.0000 2 90 90 1200 1325 x\001
+4 1 0 50 -1 4 10 0.0000 2 90 90 2400 1325 x\001