/* Auto-generated from php/php-langspec tests */
int(567)
int(5)
int(5)
int(6)
int(5)
int(6)