Symbol: xsem_t