.
blackjack deck rules coqc