static int hi15_r(short hi15) {
  ret (hi15 >> 10) & 0x1F;
}