sig
  val cabslu : Flx_cil_cabs.cabsloc
  val missingFieldDecl :
    string * Flx_cil_cabs.decl_type * 'a list * Flx_cil_cabs.cabsloc
  val isStatic : Flx_cil_cabs.spec_elem list -> bool
  val isExtern : Flx_cil_cabs.spec_elem list -> bool
  val isInline : Flx_cil_cabs.spec_elem list -> bool
  val isTypedef : Flx_cil_cabs.spec_elem list -> bool
  val get_definitionloc : Flx_cil_cabs.definition -> Flx_cil_cabs.cabsloc
  val get_statementloc : Flx_cil_cabs.statement -> Flx_cil_cabs.cabsloc
  val explodeStringToInts : string -> int64 list
  val valueOfDigit : char -> int64
  val d_cabsloc : unit -> Flx_cil_cabs.cabsloc -> Flx_cil_pretty.doc
end