Extern
#include "thread/assassin.h"
#include "debug/output.h"
#include "interrupt/plugbox.h"
#include "thread/scheduler.h"