/* Generated by re2c */
digraph re2c {
1 -> 4 [label="[0x01-0xFF]"]
1 -> 2 [label="[0x00]"]
2 -> 3
3 [label="dot2.--emit-dot.re:3"]
4 -> 5
5 [label="dot2.--emit-dot.re:4"]
}