#include <lib9.h>
#include <kernel.h>

void
das(uchar *x, int n)
{
	USED(x);
	USED(n);
}