digraph G { 0; 1; 0->1 [label=0]; }