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