udb_alloc_subdivide
ret = udb_alloc_subdivide(base, alloc, big, e2, exp);
res = udb_alloc_subdivide(base, alloc, res, e2, exp);
