Stxbp1^{tm1b(EUCOMM)Hmgu}

L1L2_Bact_P cassette被插入了染色体2的32704614位置，位于关键外显子(使用GRCm39构建)的上游。该 cassette 包含FRT位点、lacZ序列和一个loxP位点，随后是由人类β-actin启动子驱动的neomycin抗性基因，配以SV40polyA，再跟着第二个FRT位点和第二个loxP位点。在目标外显子下游，第三个loxP位点被插入在32705519位置。因此，关键外显子被loxP位点包夹，随后通过Cre介导的剪切会删除这些关键序列和neomycin选择性 cassette，产生这个敲除报告基因等位基因。更多关于这种IKMC等位基因的靶向策略信息，可在http://www.informatics.jax.org/mgihome/nomen/IKMC_schematics.shtml找到(文献引用J:157065, J:188991)。