void list_headerline();
void scroll_up();
void scroll_down();
+void scroll_list_up();
+void scroll_list_down();
void page_up();
void page_down();
void select_none();
void invert_selection();
int list_is_empty();
int list_get_curitem();
+int list_get_firstitem();
void list_set_curitem(int i);
int duplicate_item();