BDD for shell