#include "threadimpl.h"#include <unistd.h> int_threadgetpid(void){	return getpid();}