external _gtk_source_language_manager_init: unit -> unit =
  "ml_gtk_source_language_manager_init"