static int intFromBytes(byte[] a, int i) {
  ret ubyteToInt(a[i]) << 24
    | ubyteToInt(a[i+1]) << 16
    | ubyteToInt(a[i+2]) << 8
    | ubyteToInt(a[i+3]);
}