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

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