Generazione di variabili implicite per la forzatura degli I/O