digraph G{
 a->b;
 b->"a";
}