Method thread

tests/relacy/integrated.cpp:77–85

	}
	
	void thread(unsigned int tid)
	{
		RelacyThreadExitNotifier::notify_relacy_thread_start();
		
		ProducerToken t(q);
		q.enqueue(t, tid);
		
		RelacyThreadExitNotifier::notify_relacy_thread_exit();
	}
	
	void after()
	{