corrijo el chequeo de error de escritura
agrego write_int.S a Makefile.in