Vax1<tm1b(KOMP)Mbp>/Vax1<+>