Ptc1+/+ mice, male