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