Constant PHP_USER_CONSTANT

Source
pub const PHP_USER_CONSTANT: u32 = 8388607;