What to do with #'split-char.