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