cambio retorno de write_int.S