The L1L2_Bact_P cassette was inserted at position 25785401 of Chromosome 15 upstream of the critical exon (exon 27) (Build GRCm39). The cassette is composed of an FRT site followed by lacZ sequence and a loxP site. This first loxP site is followed by neomycin resistance gene under the control of the human beta-actin promoter, SV40 polyA, a second FRT site and a second loxP site. A third loxP site is inserted downstream of exon 27 at position 25786400. Exon 27 is thus flanked by loxP sites. A "conditional ready" (floxed) allele was created by flp recombinase expression in mice carrying this allele to remove the lacZ sequence and neo selection cassette, leaving loxP sites flanking exon 27.