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