sig
  type section = string
  val mode : Camlp4.??.section -> bool
  val printf :
    Camlp4.??.section -> ('a, Format.formatter, unit) Pervasives.format -> 'a
end