python: append values to a set,"a.update([3, 4])"