mtcp_sys_write    325 mtcp/mtcp_util.c     ssize_t rc = mtcp_sys_write (fd, ptr + num_written, count - num_written);
mtcp_sys_write    581 mtcp/restore_libc.c   mtcp_sys_write(1, "shell ../../util/gdb-add-libdmtcp-symbol-file.py PID PC\n",