Cambiando int a int32_t