Update main.c for exo3