udb_alloc_push_fl
udb_alloc_push_fl(base, alloc, f, fexp);
udb_alloc_push_fl(base, alloc, big+sz, e);
udb_alloc_push_fl(base, alloc, last, exp);
udb_alloc_push_fl(base, alloc, c, UDB_ALLOC_CHUNKS_MAX);
udb_alloc_push_fl(base, alloc, f, exp);