sig
  val create :
    loc:Cil_types.location ->
    ?name:string ->
    Cil_types.exp ->
    Env.t ->
    Cil_types.kernel_function ->
    Cil_types.term option -> Cil_types.exp * Env.t
  val init_set :
    loc:Cil_types.location ->
    Cil_types.lval -> Cil_types.exp -> Cil_types.exp -> Cil_types.stmt
  val normalize_str : string -> string
  val cast_to_z :
    loc:Cil_types.location ->
    ?name:string -> Cil_types.exp -> Env.t -> Cil_types.exp * Env.t
  val add_cast :
    loc:Cil_types.location ->
    ?name:string ->
    Cil_types.exp ->
    Env.t ->
    Cil_types.kernel_function -> Cil_types.typ -> Cil_types.exp * Env.t
  val binop :
    loc:Cil_types.location ->
    Cil_types.binop ->
    Cil_types.exp ->
    Cil_types.exp ->
    Env.t ->
    Cil_types.kernel_function ->
    Cil_types.term option -> Cil_types.exp * Env.t
  val cmp :
    loc:Cil_types.location ->
    Cil_types.binop ->
    Cil_types.exp ->
    Cil_types.exp ->
    Env.t ->
    Cil_types.kernel_function ->
    Cil_types.term option -> Cil_types.exp * Env.t
end