.
blackjack in c coqs