#include void exit(int code) { task_exit(code); }