pub const PHP_WRITE_STDOUT: u32 = 1;