.
blackjack 4 decks fcoq