zip([], [])
