Verifica di variabili.
Tipizzazione delle variabili.