let
model_free (talloc : alloc) (p:
F
.integer) : alloc =
F
.e_update talloc p (
F
.wrap
F
.i_zero)