Use Re_str rather than hand-written string split