These are the code segments from the Users' Manual.
