.
blackjack program in c coqg