let
alloc ta v sz =
F
.e_update ta v sz