.
blackjack in c fcoq