See str.split.