Re: [8/8] widl: consider ptrs to user-marshalled types as pointers-to-nonpointers