_
val channel : string
val label : string
val verbose_atleast : int -> bool
val debug_atleast : int -> bool
Frama-C