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