Correctly find a [u]int32_t replacement