#ifndef _UI_H_e8569387_
#define _UI_H_e8569387_

extern void ui_abort(void);

#endif