sig
  val print_fct_stmts :
    Stdlib.Format.formatter -> Cil_types.kernel_function -> unit
end