“dek” is another name for Deck.