pub(crate) const NOTEQUAL: u32 = 517;