static int idiv_ceil(int a, int b) {
  ret (a+b-1)/b;
}