PHP Decode

--TEST--
Test array_push() function : error conditions - max int value as key
--FILE--
<?php
/*
 * Use PHP's maximum integer value as array key
 * then try and push new elements onto the array
 */

echo "*** Testing array_push() : error conditions ***\n";

$array = array(PHP_INT_MAX => 'max');
try {
    var_dump(array_push($array, 'new'));
} catch (\Error $e) {
    echo $e->getMessage() . "\n";
}
var_dump($array);

?>
--EXPECTF--
*** Testing array_push() : error conditions ***
Cannot add element to the array as the next element is already occupied
array(1) {
  [%d]=>
  string(3) "max"
}