sig
  val pretty_external : Format.formatter -> Cil_types.kernel_function -> unit
  val pretty_internal : Format.formatter -> Cil_types.kernel_function -> unit
end