// Returns maximal element of array

method max(a : array<int>) returns (key : int)
// contract
{
  var i : nat := 0;
}