static char[] charArrayToUpperInPlace(char[] a) {
  if (a != null)
    for (int i = 0; i < a.length; i++)
      a[i] = upper(a[i]);
  ret a;
}