/* Auto-generated from php/php-langspec tests */
array(0) {
}
array(0) {
}