static IntBuffer charArrayIndicesOf(char[] a, char [] b) {
  int i = 0;
  new IntBuffer out;
  while ((i = charArrayIndex(a, b)) >= 0)
    out.add(i);
  ret out;
}