pub const NFCT_NFCTAGSTATE_NFCTAGSTATE_Idle: u32 = 3;