dumped_with_unexec_p 4851 src/buffer.c     if (dumped_with_unexec_p ())
dumped_with_unexec_p 3043 src/emacs.c      if (dumped_with_unexec_p ())