char[] reversal(char[] a) { int[] r = new char[a.length]; for(int i = 0; i < a.length; i = i + 1) { r[i] = a[a.length - i - 1]; } return r; }