DEFAULT_PORT      198 dmtcp_command.cpp            (port ? port : STRINGIFY(DEFAULT_PORT) " (default port)"));
DEFAULT_PORT     1762 dmtcp_coordinator.cpp   thePort = DEFAULT_PORT;
DEFAULT_PORT     1819 dmtcp_coordinator.cpp         fprintf(stderr, theUsage, DEFAULT_PORT);
DEFAULT_PORT     1827 dmtcp_coordinator.cpp       fprintf(stderr, theUsage, DEFAULT_PORT);
DEFAULT_PORT     1840 dmtcp_coordinator.cpp     fprintf(stderr, theUsage, DEFAULT_PORT);
DEFAULT_PORT       76 util_init.cpp          *port = DEFAULT_PORT;