/* If there are less @len bytes available in the data stream, or if any other errors occur, such as a corrupted compressed stream, an error is printed an the platform's exit() function is called.  */
void gunzip_discard(struct gunzip_state *state, int len)
/* If there are less @len bytes available in the data stream, or if any other errors occur, such as a corrupted compressed stream, an error is printed an the platform's exit() function is called.  */
void gunzip_discard(struct gunzip_state *state, int len)
{
	static char discard_buf[128];
	while (len > sizeof(discard_buf)) {
		gunzip_exactly(state, discard_buf, sizeof(discard_buf));
		len -= sizeof(discard_buf);
	}
	if (len > 0)
		gunzip_exactly(state, discard_buf, len);
}