main               64 dmtcp_command.cpp int main ( int argc, char** argv )
main             1757 dmtcp_coordinator.cpp int main ( int argc, char** argv )
main              338 dmtcp_launch.cpp int main ( int argc, char** argv )
main               29 dmtcp_nocheckpoint.c int main(int argc, char** argv) {
main              604 dmtcp_restart.cpp int main(int argc, char** argv)
main               89 mtcp/NOTES-x86_64/example.c int main() {
main               32 mtcp/NOTES-x86_64/example2.c int main() {
main              168 mtcp/mtcp_restart.c int main(int argc, char *argv[], char **environ)
main              128 plugin/ipc/ssh/dmtcp_ssh.cpp int main(int argc, char *argv[], char *envp[])
main               95 plugin/ipc/ssh/dmtcp_sshd.cpp int main(int argc, char *argv[], char *envp[])
main               31 plugin/timer/tmp.cpp int main() {