#include <pland/syscall.h>

__attribute__ ((noreturn))
void quit() {
  _exit_task();
}