digraph nontransparent {
	rankdir=LR;
	node [ shape = point ];
	ENTRY;
	en_1;
	node [ shape = circle, height = 0.2 ];
	node [ fixedsize = true, height = 0.65, shape = doublecircle ];
	3;
	node [ shape = circle ];
	1 -> 2 [ label = "'<' / on_init" ];
	2 -> 2 [ label = "1..'\\t', '\\v'..255, '\\n'(!28:13), 0(!28:13)" ];
	2 -> 3 [ label = "'\\n'(28:13), 0(29:13) / on_trailer" ];
	3 -> 2 [ label = "1..'\\t', '\\v'..';', '='..255, '\\n'(!28:13), 0(!28:13)" ];
	3 -> 2 [ label = "'<' / on_init" ];
	3 -> 3 [ label = "'\\n'(28:13), 0(29:13) / on_trailer" ];
	ENTRY -> 1 [ label = "IN" ];
	en_1 -> 1 [ label = "main" ];
}