Re: [PATCH v2 1/4] rust: io: define ResourceSize as resource_size_t