/* PR middle-end/14730 */
int t (char i)
{
switch (i)
case 1:
case 7:
case 10:
case 14:
case 9:
case 256:
return 0;
}
return 1;