CSE647: Robust (Distributed) Software (Spring 2002)
			      Scott Stoller
			       Homework 1

Due: 19 Feb

Write a C program containing two functions, one of which calls the other,
such that at least one error that can be identified by PREfix occurs
during the invocation.  Describe the model of each function produced by
running PREfix on your program and what PREfix's message reporting the
error would like look.  As usual, please justify your answers, by
describing, at least briefly, how you obtained them.

Please try to be a little bit creative (in other words, don't copy an
example from the PREfix paper).  The example does not need to be large:
it's OK if each function contains about 5 statements.  To be interesting,
it should contain at least one loop (for, while, or repeat), one
conditional (if..then..else), and one malloc.

In places where the paper is vague about what PREfix actually does, 
mention that the paper is vague and state and adopt some reasonable
assumption about PREfix's behavior.