1--TEST--
2Fixed bug #71537 (PCRE segfault from Opcache)
3--FILE--
4<?php
5
6var_dump(preg_replace(array("/Monkey/"), array(2016), "Happy Year of Monkey"));
7?>
8--EXPECT--
9string(18) "Happy Year of 2016"
10