Riformulazione del main