Symbol: ctag_t