I don't really have a strong opinion about this and changed it per @huonw's suggestion. It's unclear what these integers are for in an example like this without context, so it doesn't really matter which integer type is used. Since I want the reader to be thinking about the sizes here, using `u64` seems like it help people reason about it a bit more.