.
c programm blackjack coqz