mythreadid        622 TSRM/TSRM.c    	printf("Mutex created thread: %d\n",mythreadid());
mythreadid        652 TSRM/TSRM.c    	printf("Mutex freed thread: %d\n",mythreadid());