#include <system/system.h>

void quit(void) {
  proc_kill(proc_getpid());
}