pub const PHP_OUTPUT_POP_DISCARD: u32 = 16;