digraph Memory {
  // IR styles match graph/web/render.js; arrows are use -> definition.
  graph [bgcolor="#fafbfc" fontname="Helvetica" nodesep=0.35 ranksep=0.55 splines=ortho];
  node [fontname="Helvetica" fontsize=12 color="#758191" fontcolor="#152330" shape=box style="rounded,filled" fillcolor="#edf3f7"];
  edge [fontname="Helvetica" fontsize=9 color="#536477" fontcolor="#364352" arrowsize=0.7 penwidth=1.5];

  rankdir=RL;

  M0 [label="Initial memory" shape=octagon style="filled" fillcolor="#dcecff"];
  X [label="Store p.x = 3" shape=octagon style="filled" fillcolor="#dcecff"];
  Y [label="Store p.y = arg" shape=octagon style="filled" fillcolor="#dcecff"];
  L [label="Load p.x" shape=box style="rounded,filled" fillcolor="#edf3f7"];
  L -> Y -> X -> M0 [color="#2867b2"];
  Return -> Y [color="#2867b2"]; Return -> L;
  Return [shape=box style="filled" fillcolor="#fff1c4"];
}