#include "ui.h" void ui_abort(void) { }