include/pthread.h (4 lines):
	- line 130: * TODO: temporary solution
	- line 140: * TODO: temporary solution
	- line 149: * TODO: temporary solution
	- line 156: * TODO: temporary solution