Symbol: ctxt_has_tcrx