This allele was generated using PhiC31 integrase-mediated transgenesis. A plasmid containing from 5' to 3' a CAG promoter, a loxP-flanked stop sequence, mouse AU040320 (Aavr) fused to mCherry, an F2A self-cleaving peptide sequence, and a mammalian codon-optimized cas9 gene (derived from Streptococcus pyogenes CRISPR associated protein 9 [spCas9]) and PhiC31 integrase RNA was injected into the cytoplasm of C57BL/6 embryos carrying three tandem attP sites in the "safe harbor" Igs2 (H11) intergenic site, Igs2. (J:341522)