Split string separated by (ASCII) white spaceLeading and trailing white space is ignored, repeated white space is treatedlike a single white spaceThe result is a, possibly empty, list of separate non-empty strings.