.
a blackjack coqc