FMR1 and fragile X syndrome: The Fmr1-KO mouse is an example of this approach, modeling Fragile X syndrome, a well-known genetic disorder presenting ASD symptoms.