.
blackjack push tnvm