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