Riscritto il main; va sistemata la semantica di eu, non funziona