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