pub const ZEND_BW_NOT: u32 = 13;