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;
}