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