init_faces_initial 6554 src/dispnew.c          init_faces_initial ();
init_faces_initial 6729 src/dispnew.c      init_faces_initial ();
init_faces_initial 6738 src/dispnew.c          init_faces_initial ();