Ragazzi usare la strcpy() va bene, ma attenzione il puntatore a char 'stringa'
deve essere inizializzato prima di essere usato !!!
codice:
int main(void) {
//		char *stringa;	// Errore : il puntatore non è inizializzato !
		char stringa[20];	// Ora è una c-string correttamente inizializzata.
		modifica(stringa);
		
		printf("%s\n", stringa);
	      return 0;
}
In alternativa, si potrebbe utilizzare il puntatore e ricorrere all'alocazione dinamica della stringa,
ma in questo caso non mi sembra necessario.