Cre-mediated recombination removed the target I sequence between exon IX and exon X of Il1r1tm1Quan, resulting in expression of functional Il1r1, labeled with P-terminal hemagglutinin tags, and co-expression of tdTomato fluorescent marker from the mRNA.