1 files changed, 10 insertions, 0 deletions
diff --git a/docs/chapter10a/example1.gv b/docs/chapter10a/example1.gv
new file mode 100644
index 00000000..d399b562
--- /dev/null
+++ b/docs/chapter10a/example1.gv
@@ -0,0 +1,10 @@
+digraph Memory {
+  rankdir=RL;
+  node [shape=box];
+  M0 [label="Initial memory"];
+  X [label="Store p.x = 3"];
+  Y [label="Store p.y = arg"];
+  L [label="Load p.x"];
+  L -> Y -> X -> M0 [color=blue];
+  Return -> Y [color=blue]; Return -> L;
+}