For each of the followings, state the precondition or/and postcondition.

(3) i = 1;

c = 0;

while (i <= n) {

if (a[i] == 17) c = c + 1;

i = i + 1; }

(4) m = a[1];

i = 2;

while (i <= n) {

if ( a[i] > m ) m = a[i];

i = i +1;