sig
  val discard_printf : ('a, Format.formatter, unit) Pervasives.format -> 'a
end