module Gui_init: sig .. end
sig
end
Very early initialization step required by any GUI. This interface should be empty.