pub const NFCT_NFCTAGSTATE_NFCTAGSTATE_Msk: u32 = 7;