udb_alloc_delete
udb_alloc_delete(nsd->task[1-nsd->mytask]->alloc);
udb_alloc_delete(udb->alloc);
void udb_alloc_delete(udb_alloc* alloc);