Added missing EXPORT for deck_cardsNumber