<human>:  How to split a string into integers in Python?
<bot>: Here is some code to split a string `42 0` by white spaces.

"""42 0""".split()

#Warning: this code generation is experimental. Please inspect the code for any bugs before executing.