Module Frama_c_very_first.Frama_c_init

Setting global, platform-wide settings. Nothing is exported by this module.