let model_alloc (talloc:tbl_alloc) (p:D.integer) (sz:D.integer) : tbl_alloc = D.e_app3 "update" talloc p sz