Cambio de int32_t a int