Please look at the folder geraldo/tests to view the source code for these
examples.
