#include <u.h>#include <libc.h> void (*__assert)(char*); void_assert(char *s){	if(__assert)		(*__assert)(s);	fprint(2, "assert failed: %s\n", s);	abort();}