static int ushortToInt(short s) {
  ret ((int) s) & 0xFFFF;
}