Cd47^{tm1c(KOMP)Mbp}

L1L2_Bact_P cassette被插入了16号染色体的49,686,797位，位于关键外显子（Build GRCm39）上游。该 cassette 包含FRT位点、lacZ序列和一个loxP位点，随后是人β-actin启动子驱动的neomycin抗性基因、SV40polyA以及第二个FRT位点和第二个loxP位点。在目标外显子（s）下游，第三个loxP位点被插入在49,689,586位。因此，关键外显子（s）被loxP位点所环绕。通过在携带这种等位基因的小鼠中表达flp重组酶，创建了一个“条件准备”（floxed）基因，移除了lacZ序列和neo选择性元件，只留下loxP位点环绕关键外显子（s）。更多关于这种IKMC等位基因以及其他靶向策略的信息，可参见http://www.informatics.jax.org/mgihome/nomen/IKMC_schematics.shtml（J:94077）。