Very Big Coq (VBC)