.
c programm blackjack fcoq