.
a blackjack card mcoq