static void pool_adjust(struct pool *p, int s) 
static void pool_adjust(struct pool *p, size_t s) 
static void pool_adjust(struct pool *p, int s){	size_t n;	n = p->size;	if (s > 0 && s < n)		n -= n % s;	if (debug)		log_d("pool_adjust: n=%d", n);	p->ceiling = p->floor + n;}
8520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/8520/42ee242471a575dc8fd71a51a965bf2c8111be21/core.c/buggy/src/core.c