macro-machines 0.8.1

digraph {
  rankdir=LR
  node [shape=record, style=rounded, fontname="Sans Bold"]
  edge [fontname="Sans"]
  subgraph cluster_M {
    label=<M<BR ALIGN="LEFT"/>>
    shape=record
    style=rounded
    fontname="Sans Bold Italic"
    INITIAL [label="", shape=circle, width=0.2, style=filled, fillcolor=black]
    S [label=<<B>S</B>>]
    T [label=<<B>T</B>|<FONT FACE="Mono"><BR/>
sum&#x20;&#x3A;&#x20;u64&#x20;&#x3D;&#x20;u64&#x3A;&#x3A;default&#x28;&#x29;<BR ALIGN="LEFT"/></FONT>>]
    INITIAL -> S
    "S" -> "T" [label=<<FONT FACE="Sans Italic">A</FONT>>]
    "T" -> "T" [label=<<FONT FACE="Sans Italic">Foo</FONT><FONT FACE="Mono"><BR/>&#x7B;&#x20;&#x2A;sum&#x20;&#x2B;&#x3D;&#x20;&#x2A;add&#x20;&#x7D;</FONT>>]
  }
}