TSRM_SHUFFLE_RSRC_ID   78 TSRM/TSRM.c    						unshuffled_offset, TSRM_SHUFFLE_RSRC_ID(0), TSRM_SHUFFLE_RSRC_ID(thread_resources->count-1)));	\
TSRM_SHUFFLE_RSRC_ID  224 TSRM/TSRM.c    	*rsrc_id = TSRM_SHUFFLE_RSRC_ID(id_count++);