IDA: archivo de salida