external get_rows : [>`clist] obj -> int = "ml_gtk_clist_get_rows"