.
blackjack push fcoq