/* Return a few (kilo-)bytes to the head of the buffer. This is used if a data fetch fails.  */
static void mon_buff_area_shrink(struct mon_reader_bin *rp, unsigned int size)
/* Return a few (kilo-)bytes to the head of the buffer. This is used if a data fetch fails.  */
static void mon_buff_area_shrink(struct mon_reader_bin *rp, unsigned int size)
{
	rp->b_cnt -= size;
	if (rp->b_in < size)
		rp->b_in += rp->b_size;
	rp->b_in -= size;
}