#include #include "halt.h" void w2_mode_halt() { return; }