The Acadm insertion vector was linearized by SalI digestion, the site of the 1.3-kb genomic fragment deletion, and electroporated into E14–1 ES cells (a kind gift from R. Kuhn), derived from 129P2 mice.