_thread_sys_write
int _thread_sys_write(int, const char*, size_t);
_thread_sys_write(2, buf, strlen(buf));
_thread_sys_write(2, "[locking]\n", 10);