[PATCH v2 3/5] widl: Write the user string stream.