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