Symbol: ct_listnum_t