/* Auto-generated from php/php-langspec tests */
red white blue 
red white blue