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