Constant PHP_SYSLOG_FILTER_NO_CTRL 

pub const PHP_SYSLOG_FILTER_NO_CTRL: u32 = 1;