#include <lib9.h>voidabort(void){	while(*(int*)0)		;}