digraph Memory {
  rankdir=LR;
  node [shape=box];
  M [label="Prior memory"];
  L [label="Load p.x"];
  S [label="Store p.x"];
  M -> L [color=blue]; M -> S [color=blue];
  L -> S [style=dashed,label="execute load first"];
}