Shell examples really have to be tested interactively; no code provided here.
