exit(); es necesario? Me suena raro.