Soppressi 4 warning inutili. Tre veramente inutili mentre il quarto
riguarda il fatto che nel menu del main c'è il vettore inizializzato
null, ma intanto va bene così