#include void abort(void) { task_exit(-1); }