Symbol: crst_table_alloc