pub const NFCT_NFCTAGSTATE_NFCTAGSTATE_Receive: u32 = 4;