Example in Dive into Python