pub const NFCT_TXD_AMOUNT_TXDATABYTES_Msk: u32 = 4088;