1--TEST--
2Bug #72146 (Integer overflow on substr_replace)
3--FILE--
4<?php
5var_dump(substr_replace(["ABCDE"], "123", 3, PHP_INT_MAX));
6?>
7--EXPECT--
8array(1) {
9  [0]=>
10  string(6) "ABC123"
11}
12