U0 @update_status_bar() {
  gr.dc->color = BLACK;
  GrRect(gr.dc, 0, GR_HEIGHT - 8, GR_WIDTH, 8);
  gr.dc->color = LTGRAY;
  GrPrint(gr.dc, 0, GR_HEIGHT - 8, "[0x%08x] %s", sys_focus_task,
          sys_focus_task->task_title);
}