offsetSet         488 ext/spl/spl.php function offsetSet($offset, $value);
offsetSet         693 ext/spl/spl.php function offsetSet($index, $newval) {/**/}
offsetSet         805 ext/spl/spl.php function offsetSet($index, $newval) {/**/}