static int intFromBytes_bigEndian(byte[] a, int i) {
  ret intFromBytes(a, i);
}