it would seem so
Hallie Jordan goes by Hallie Jordan.
Hallie Todd's birth name is Hallie Eckstein.
Hallie Adler goes by Hallie, Wasenfry, and Wally.
Hallie Foote's birth name is Barbara Hallie Foote.
Hallie Kate Eisenberg's birth name is Hallie Kate Eisenberg.
Hallie Flanagan was born in 1890.
Hallie Flanagan died in 1969.
Philip Hallie was born in 1922.
Philip Hallie died in 1994.
Hallie Todd is 5' 3".
Hallie Adler is 4' 11".
Hallie Bulleit is 5' 8".