external get_line_count : text_buffer -> int 
    = "ml_gtk_text_buffer_get_line_count"