.
blackjack program in c coqz