int sthread_access_begin(void* objaddr, const char* objname, const char* file, int line, const char* function);
void sthread_access_end(void* objaddr, const char* objname, const char* file, int line, const char* function);
int sthread_access_begin(void* objaddr, const char* objname, const char* file, int line, const char* function);
void sthread_access_end(void* objaddr, const char* objname, const char* file, int line, const char* function);