Re: [PATCH 10/11] widl: Set pointer_size according to host's pointer-size.