What does a panic look like?
The following is an example of  function enforcing a
contract. It verifies the input and ensures that the
return value lies within the range expected by the
client of the code
Post condition