offsetSet         491 ext/spl/spl.php function offsetSet($offset, $value);
offsetSet         696 ext/spl/spl.php function offsetSet($index, $newval) {/**/}
offsetSet         808 ext/spl/spl.php function offsetSet($index, $newval) {/**/}