sig
  type strnum = Str_Z | Str_R | C_number
  val add_cast :
    loc:Cil_types.location ->
    ?name:string ->
    Env.t ->
    Cil_types.kernel_function ->
    Cil_types.typ option ->
    Typed_number.strnum ->
    Cil_types.term option -> Cil_types.exp -> Cil_types.exp * Env.t
end