digraph G { }