#include <lib/libkern/libkern.h> /* memset, memcpy, memmove */