Use int instead of uint32_t