PUBS: A Practical Upper Bounds Solver

class ArrayReverse {
 
  static int[] arrayReverse(int[] A){
      int   l = A.length;
      int[] R = new int[l];

      for (int i=l;i> 0;i--){
	  R[l-i]=A[i-1];
      }

      return R;
  }
}