int sthread_gettimeofday(struct timeval* tv);
void sthread_sleep(double seconds);
+int sthread_access_begin(void* objaddr, const char* objname, const char* file, int line);
+void sthread_access_end(void* objaddr, const char* objname, const char* file, int line);
+
#if defined(__cplusplus)
}
#endif