Write the weakest possible pre-condition that prevents any in-built exceptions from being thrown in the following Java function. Pre: int foo(int[] A, int[] B) { int r = 0; for (int i = } 0; i < A.length-1; i++) { r+=A[i+1] * B[i]; } return r;