external _gtk_source_buffer_init: unit -> unit = "ml_gtk_source_buffer_init"