[UP] dump BDD