void ui_outline( ui_rect rect, ui_px thickness, u32 colour, u32 mask );
void ui_split( ui_rect rect, enum ui_axis other, ui_px width, ui_px gap,
ui_rect l, ui_rect r );
void ui_outline( ui_rect rect, ui_px thickness, u32 colour, u32 mask );
void ui_split( ui_rect rect, enum ui_axis other, ui_px width, ui_px gap,
ui_rect l, ui_rect r );