#include <stddef.h>

/* Fill a region of memory with specified byte */
void *
memset(void *dest, int byte, size_t len)
{
	unsigned char *a = dest;
	if (len > 0)  {
		while (len-- > 0)
			*a++ = byte;
	}
	return dest;
}