KRIT1 and cerebral cavernous malformation: Like KRIT1 knockout mice [43], CCM2−/− mice are embryonic lethal while CCM2+/− mice reveal the expected CCM lesion phenotype [48,73].