/* Auto-generated from php/php-langspec tests */
$color = red
$red = 123
int(123)