Update prova.c