Miles wrote > Some concepts to apply to true properties: What are this concepts good for in terms of provable correctness? > The above code does a "little" more than what it really looks > like. For me that particular lines look like an exit or a system call. -manfred