sig
  val nextident : int Pervasives.ref
  val getident : unit -> int
  val cabslu : Cabs.cabsloc
  module Comments :
    sig
      val self : State.t
      val add : Cabs.cabsloc -> string -> unit
      val get : Cabs.cabsloc -> string list
      val iter : (Cabs.cabsloc -> string -> unit) -> unit
      val fold : (Cabs.cabsloc -> string -> '-> 'a) -> '-> 'a
    end
  val missingFieldDecl : string * Cabs.decl_type * 'a list * Cabs.cabsloc
  val isStatic : Cabs.spec_elem list -> bool
  val isExtern : Cabs.spec_elem list -> bool
  val isInline : Cabs.spec_elem list -> bool
  val isTypedef : Cabs.spec_elem list -> bool
  val get_definitionloc : Cabs.definition -> Cabs.cabsloc
  val get_statementloc : Cabs.statement -> Cabs.cabsloc
  val explodeStringToInts : string -> int64 list
  val valueOfDigit : char -> int64
  val d_cabsloc : Cabs.cabsloc Pretty_utils.formatter
end