void bar () {
 static char x[10];
 static char *xend = x + 10;
}