external _gtk_source_view_init: unit -> unit = "ml_gtk_source_view_init"