external
disable_setlocale : unit
->
unit =
"ml_gtk_disable_setlocale"