In reply to Re: An example of programming by contract by qslack in thread An example of programming by contract by princepawn