Bex2^{tm1a(EUCOMM)Hmgu}

L1L2_Bact_P cassette被插入到X染色体134,967,025的位置，位于关键外显子（基于GRCm39构建）。该 cassette 包含FRT位点、lacZ序列和一个loxP位点，随后是人β-actin启动子驱动的neomycin抗性基因、SV40polyA以及第二个FRT位点和第二个loxP位点。在目标外显子下游，第三个loxP位点被插入在134,968,230处。关键外显子由此被loxP位点环绕。通过在携带这种等位基因的小鼠中表达flp重组酶，可以创建一个“条件准备”（含flipped）的等位基因。随后的cre表达会导致敲除小鼠。如果没有flp表达而有cre，会形成一个报告基因敲除小鼠。有关此IKMC等位基因以及其他类似靶向策略的更多信息，请参阅http://www.informatics.jax.org/mgihome/nomen/IKMC_schematics.shtml（J:157065）。