alliance/src/bdd/man3
