init_faces_initial 6500 src/dispnew.c          init_faces_initial ();
init_faces_initial 6660 src/dispnew.c      init_faces_initial ();
init_faces_initial 6669 src/dispnew.c          init_faces_initial ();