Example

In this example we are only concerned about the declarations and the variables and so the body of the procedures is not mentioned. In the example it is assumed that the value retuned by partition (1,9) is 4.