Re: widl [2/6]: Handle more pointer types in write_type