10 static char undefined[10] = "undefined";  variable
23    if (undefined[0] == 'u')  in main()
28    if (undefined[4] == 'f')  in main()
33    if (undefined[8] == 'd')  in main()
41    undefined[0] = 'U';  in main()
44    undefined[4] = 'F';  in main()
47    undefined[8] = 'D';  in main()
53    fprintf(stderr, "value %s\n", undefined);  in main()
56    undefined[0] = '0';  in main()
59    undefined[4] = '4';  in main()
62    undefined[8] = '8';  in main()
64    fprintf(stderr, "value %s\n", undefined);  in main()