A tiny BDD framework for C