Symbol: ismt_alloc_desc