Example copied-and-pasted from an interactive Python session