APPROVED Jeremy J. Carroll This test illustrates the use of a user defined datatype. The informal description has no formal semantics.