static int hi15_b(short hi15) {
  ret hi15 & 0x1F;
}