TP53 and colorectal carcinoma: HCT116−/− is a cell line derived from colorectal carcinoma in which two promotorless targeting vectors were used to disrupt sequentially the two p53 alleles [24].