[PATCH 3/6] widl: Fix encoding of array parameters.