Coq_byte_config
val toploop_use_silently : Stdlib.Format.formatter -> string -> bool
val compenv_handle_exit_with_status_0 : (unit -> unit) -> unit