Cambiando int a int32_t (2)