ATP1A3 and alternating hemiplegia of childhood: elegans</i> AHC models by introducing AHC-causing ATP1A3 patient mutations (D801N, E815K, L839P, and G947R) into the orthologous gene, <i>eat-6,</i> using CRISPR/Cas9.