Alloc (soteria-rust.Soteria_rust_lib.Analyses.Wpst.Interp.Std

val alloc : 
  ?zeroed:bool ->
  ([< Soteria_rust_lib.Typed.T.any ] Typed.t, 'a, 'b) Rust_val.raw list ->
  ((Soteria_rust_lib.Typed.T.sint Typed.t, 'c, StateM.Sptr.t) Rust_val.raw, 'd)
    StateM.t

val dealloc : 
  (Soteria_rust_lib.Typed.T.sint Typed.t, 'a, StateM.Sptr.t) Rust_val.raw list ->
  (('b, 'c, 'd) Rust_val.raw, 'e) StateM.t

val realloc : 
  (Soteria_rust_lib.Typed.T.sint Typed.t, 'a, StateM.Sptr.t) Rust_val.raw list ->
  ((Soteria_rust_lib.Typed.T.sint Typed.t, 'b, StateM.Sptr.t) Rust_val.raw, 'c)
    StateM.t

val no_alloc_shim_is_unstable : 'a -> (('b, 'c, 'd) Rust_val.raw, 'e) StateM.t