external get_char_count : text_buffer -> int 
    = "ml_gtk_text_buffer_get_char_count"