Re: [PATCH 4/4] widl: Don't store the default pointer type in the type_t structure.