#include <lib9.h>#include <kernel.h> voiddas(uchar *x, int n){	USED(x);	USED(n);}