write in c code please

10 pts Give the pre-condition, post-condition, and loop invariant for this program which takes as input an array A with size ASIZE, and filters some or all of the array. Note that n can take a value so that only a portion of the array is filtered void filter (double AC. int n, double low, double high) int li for (1 - ; i<>