static int lastIndexOf_byteArray(byte[] a, byte b) {
  for (int i = l(a)-1; i >=0; i--)
    if (a[i] == b)
      ret i;
  ret -1;
}