Constant ZEND_POST_DEC 

pub const ZEND_POST_DEC: u32 = 37;