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   val push_attr_test : unit -> unit   val pop_attr_test : unit -> unit   val is_attr_test : unit -> bool   val mk_behavior :     ?name:string ->     ?assumes:Logic_ptree.lexpr list ->     ?requires:Logic_ptree.lexpr list ->     ?post_cond:(Cil_types.termination_kind * Logic_ptree.lexpr) list ->     ?assigns:Logic_ptree.lexpr Cil_types.assigns ->     ?allocation:Logic_ptree.lexpr Cil_types.allocation ->     ?extended:Logic_ptree.extension list -> unit -> Logic_ptree.behavior end