sig
  val cExp : string -> (string * Cil.formatArg) list -> Cil.exp
  val cLval : string -> (string * Cil.formatArg) list -> Cil.lval
  val cType : string -> (string * Cil.formatArg) list -> Cil.typ
  val cInstr :
    string -> Cil.location -> (string * Cil.formatArg) list -> Cil.instr
  val cStmt :
    string ->
    (string -> Cil.typ -> Cil.varinfo) ->
    Cil.location -> (string * Cil.formatArg) list -> Cil.stmt
  val cStmts :
    string ->
    (string -> Cil.typ -> Cil.varinfo) ->
    Cil.location -> (string * Cil.formatArg) list -> Cil.stmt list
  val dExp : string -> Cil.exp -> Cil.formatArg list option
  val dLval : string -> Cil.lval -> Cil.formatArg list option
  val dType : string -> Cil.typ -> Cil.formatArg list option
  val dInstr : string -> Cil.instr -> Cil.formatArg list option
  val noMemoize : bool Pervasives.ref
  val test : unit -> unit
end