How to split a string into integers in Python?,"map(int, '42 0'.split())"