Credo ti sia stato detto più volte che se vuoi inizializzare una stringa "velocemente"
NON devi usare le graffe, bensì fai:
char stringa[] = "casa"
con questa inizializzazione dichiari una stringa che è un particolare tipo di array di caratteri, avente come ultimo carattere \0 (detto
terminatore di stringa), quindi anziché avere 4 caratteri nell'array ne hai 5: c, a, s, a, \0: ecco perché la dimensione è più grande.