pythonic way to split a list into first and rest?,"first, rest = l[0], l[1:]"