int instead of uint32_t