Ptc1+/- mice, male