int
main(int argc, char **argv)
{
int outer = 1;
if (outer > 0) {
char *inner = "INNER";
int outer = -1;
outer += 10;
}
return(0);