int argc = 0;
char *argv[MAXNUMPARAMS];
#ifdef HAVE_THREADS
- printf("[%lu recv %lu] %s\n", syscall(SYS_gettid), (unsigned long) strlen(line), line);
+ printf("[%d recv %lu] %s\n", getCurrentThreadID(), (unsigned long) strlen(line), line);
#else
printf("[recv %lu] %s\n", (unsigned long) strlen(line), line);
#endif