1 files changed, 11 insertions, 0 deletions
diff --git a/chapter10b/docs/example1.gv b/chapter10b/docs/example1.gv
new file mode 100644
index 00000000..d1b2d456
--- /dev/null
+++ b/chapter10b/docs/example1.gv
@@ -0,0 +1,11 @@
+digraph Memory {
+  rankdir=LR;
+  node [shape=box];
+  M [label="Initial memory"];
+  X [label="Store x = 42"];
+  Y [label="Loop: Store y"];
+  L [label="Load x -> 42"];
+  M -> X -> L [color=blue]; M -> Y [color=green];
+  X -> MemMerge [color=blue]; Y -> MemMerge [color=green];
+  MemMerge -> Return; L -> Return;
+}