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