void f()
{
    char *a = "ABC";
    char b[] = "DEF";
    
    *a = '1';   /* NG */
    b[0] = '1'; /* OK */
}