sig
  val debug : bool Pervasives.ref
  val get_comments : Cil_types.location -> string list
end