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