.
blackjack extracts vfsm