FMR1 and fragile X syndrome: Fmr1 knockout (KO) mice, including the often-used male hemizygous Fmr1-null (Fmr1-/y) mice, lack FMRP expression and recapitulate many behavioral features observed in FXS (Bernardet and Crusio, 2006).