`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`