static long rightShift_ceil(long a, int shift) {
  ret (a+(1 << shift)-1) >> shift;
}