The floxed exon 1 and neomycin resistance cassette were deleted via Cre-mediated recombination. Amplification and sequencing of a 423 bp fragment overlapping exon 1 confirmed its deletion. Immunolabeling confirmed no protein in the adult homozygous brain.