dovrebbe essere così in quanto exit è un'uscita naturale, die rappresenta un uscita a causa di un problema o errore.