che cos'è EOF?
perchè argc-1?