#include <pland/syscall.h>
#include <knob/file.h>

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