#use void printarray(int[] A, int n) //@requires n <= \length(A); { for(int i=0; i0) print(", "); printint(A[i]); } print("\n"); }