Emit `uint` instead of `u64` for `label.get_value()`