append            692 ext/spl/spl.php function append($value) {/**/}
append            804 ext/spl/spl.php function append($value) {/**/}