split a string `42 0` by white spaces.,"""""""42 0"""""".split()"