static int idiv_round(int a, int b) {
  ret (a+b/2)/b;
}