Symbol: udb_alloc_space