I'm wondering in what cases these three sizes would be different. Type ptrdiff_t is used to store a difference between two pointers so it should be at least as wide, without any reason to be wider ...