offsetSet         477 ext/spl/spl.php function offsetSet($offset, $value);
offsetSet         682 ext/spl/spl.php function offsetSet($index, $newval) {/**/}
offsetSet         794 ext/spl/spl.php function offsetSet($index, $newval) {/**/}