void i_bfill(char *a, int b, int c) {
  int i;

  for (i=0; i<b; i++) *a++=c;
}