.
black jack with deck spmf