digraph G{
A [label="A: *", shape="box", cond=true, getid="A"]
B [label="B: (^xor)*", shape="box", cond=true, repeat="*", lazyrepeat=true, maxchildren=1, getid="B"]
C [label="C: (xor)+", shape="box", cond="opcode is xor", repeat="+", maxchildren=1, getid="C"]
D [label="D: (*)*", shape="box", cond="true", repeat="*", getid="D"]
E [label="E: *", shape="box", cond=true, getid="E"]

A -> B
B -> C
C -> D
D -> E
D -> B
}
