Does the following program contain any bug?

Question

#include <stdio.h>

int main()

{

char str1[] = "abc";

char str2[] = "efg";

str2[4] = 'w';

printf("%c\n", str1[0]);

return 0;

}

Please explain.

 

References: C From Theory