strict digraph bdd {
}
