.
blackjack p xcoq