Symbol: table_alloc_top