#include <system/system.h>
#include <sysdefs/processctl.h>

void quit(void) {
  processctl(-1, PCTL_KILL, 0, 0, 0);
}