Constant NINF_KEY

pub const NINF_KEY: u32 = 1u32;