.
blackjack push nfsm