static int ubyteToInt(byte b) {
  ret b & 0x0FF;
}

static int ubyteToInt(char c) {
  ret c & 0x0FF;
}