Dan Hipschman : widl: Allow write_type to output full pointer types.