digraph "job" {
  rankdir="LR" ;
  node [ fontname="monospace" ];
  edge [ fontname="monospace" ];
  V000 [ label="n", shape="cds", style="filled", fillcolor="yellow" ];
  V000:e -> A000 ;
  V001 [ label="p", shape="cds", style="filled", fillcolor="yellow" ];
  V001:e -> A001 ;
  V002 [ label="q", shape="cds", style="filled", fillcolor="yellow" ];
  V002:e -> A002 ;
  V003 [ label="s", shape="cds", style="filled", fillcolor="yellow" ];
  V003:e -> A003 ;
  V004 [ label="k", shape="cds", style="filled", fillcolor="yellow" ];
  V004:e -> A004 ;
  A000 [ label="R", shape="oval", fillcolor="green", style="filled" ];
  _005 [ label="roots:&n", style="filled", color="lightblue", shape="box" ];
  { rank=same; A000; _005; }
  _005 -> A000 [ arrowhead="tee" ];
  _006 [ shape="record", label="Var sint32" ];
  A000 -> _006:w [ arrowhead="tee" ];
  A001 [ label="D", shape="oval" ];
  _007 [ label="roots:&p", style="filled", color="lightblue", shape="box" ];
  { rank=same; A001; _007; }
  _007 -> A001 [ arrowhead="tee" ];
  _008 [ shape="record", label="<_p1> Ref" ];
  _008:_p1 -> A005:w [ taillabel="[..]", labeldistance="1.7",
    labelangle="+40", color="red"
  ];
  A001 -> _008:w [ arrowhead="tee" ];
  A002 [ label="D", shape="oval" ];
  _009 [ label="roots:&q", style="filled", color="lightblue", shape="box" ];
  { rank=same; A002; _009; }
  _009 -> A002 [ arrowhead="tee" ];
  _010 [ shape="record", label="<_p1> Ref" ];
  _010:_p1 -> A005:w [ taillabel="[..]", labeldistance="1.7",
    labelangle="+40", color="red"
  ];
  A002 -> _010:w [ arrowhead="tee" ];
  A003 [ label="RW", shape="oval", fillcolor="green", style="filled" ];
  _011 [ shape="record", label="Var sint32" ];
  A003 -> _011:w [ arrowhead="tee" ];
  A004 [ label="RW", shape="oval", fillcolor="green", style="filled" ];
  _012 [ shape="record", label="Var sint32" ];
  A004 -> _012:w [ arrowhead="tee" ];
  A005 [ label="R[]&", shape="oval", fillcolor="orange", style="filled" ];
  _013 [ label="roots:*", style="filled", color="lightblue", shape="box" ];
  { rank=same; A005; _013; }
  _013 -> A005 [ arrowhead="tee" ];
  _014 [ shape="record", label="Mem sint32" ];
  A005 -> _014:w [ arrowhead="tee" ];
  R015 [ label="\\result", shape="tab", style="filled", fillcolor="yellow" ];
  { rank=same; R015; A006; }
  R015 -> A006 ;
  A006 [ label="W", shape="oval", fillcolor="green", style="filled" ];
  _016 [ shape="record", label="Var sint32" ];
  A006 -> _016:w [ arrowhead="tee" ];
}