dump BDD